useAnnotationsPrefPage=true
eclipse.preferences.version=1
#workspacejre=true
useQuickDiffPrefPage=true