#Fri Jun 01 15:21:56 CST 2018
pref_first_startup=false
eclipse.preferences.version=1