#Fri Jun 01 15:21:57 CST 2018
eclipse.preferences.version=1
tipsAndTricks=false
platformState=1505098145356
quickStart=false
PROBLEMS_FILTERS_MIGRATE=true