#Mon Jul 04 13:03:31 CEST 2011
eclipse.preferences.version=1