#Fri Jun 01 15:21:56 CST 2018 eclipse.preferences.version=1 preferencesMigrated=true preferencesMigrated60=true