#Fri Oct 07 15:35:30 CEST 2011 spelling_locale_initialized=true useAnnotationsPrefPage=true eclipse.preferences.version=1 useQuickDiffPrefPage=true