#Tue Apr 12 01:26:29 CEST 2011
eclipse.preferences.version=1
tipsAndTricks=true
platformState=1301382924808
PROBLEMS_FILTERS_MIGRATE=true