eclipse.preferences.version=1 sourceHoverBackgroundColor=255,255,225 sourceHoverBackgroundColor.SystemDefault=true useAnnotationsPrefPage=true useQuickDiffPrefPage=true