andrewm@0: EXIT_PROMPT_ON_CLOSE_LAST_WINDOW=false
andrewm@0: TASKS_FILTERS_MIGRATE=true
andrewm@0: eclipse.preferences.version=1
andrewm@0: platformState=1380290440069
andrewm@0: quickStart=false
andrewm@0: tipsAndTricks=true