#Mon Jul 04 13:01:28 CEST 2011
eclipse.preferences.version=1