#Wed Jan 12 12:09:09 CET 2011 eclipse.preferences.version=1 tipsAndTricks=true platformState=1294238342918 quickStart=false PROBLEMS_FILTERS_MIGRATE=true