#Tue Sep 19 16:15:32 CST 2017
merge_provider_set=true
eclipse.preferences.version=1