#Tue Feb 28 12:46:40 CET 2012 eclipse.preferences.version=1 TASKS_FILTERS_MIGRATE=true tipsAndTricks=true platformState=1330428858162 quickStart=true PROBLEMS_FILTERS_MIGRATE=true