EXIT_PROMPT_ON_CLOSE_LAST_WINDOW=false
PROBLEMS_FILTERS_MIGRATE=true
eclipse.preferences.version=1
platformState=1474061677740
quickStart=false
tipsAndTricks=true