#Tue Apr 12 01:26:29 CEST 2011
merge_provider_set=true
eclipse.preferences.version=1