Bug 81083 [preferences] Mark Occurences enablement not adhered to
I200412142000 - open preference page with Mark Occurences preferences - enable Mark Occurences - Apply - Restore Defaults - OK -> toolbar shows Mark Occurences as 'enabled', editor marks occurences -> on preference page the preference is disabled
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java
fMarkLocalVariableypeOccurrences= ((Boolean)event.getNewValue()).booleanValue();
				return;
			}
			if (PreferenceConstants.EDITOR_MARK_EXCEPTION_OCCURRENCES.equals(property)) {
				if (event.getNewValue() instanceof Boolean)
					fMarkExceptions= ((Boolean)event.getNewValue()).booleanValue();
				return;
			}
			if (PreferenceConstants.EDITOR_MARK_METHOD_EXIT_POINTS.equals(property)) {
				if (event.getNewValue() instanceof Boolean)
					fMarkMethodExitPoints= ((Boolean)event.getNewValue()).booleanValue();
				return;
			}
			if (PreferenceConstants.EDITOR_MARK_IMPLEMENTORS.equals(property)) {
				if (event.getNewValue() instanceof Boolean)
					fMarkImplementors= ((Boolean)event.getNewValue()).booleanValue();
				return;
			}
			if (PreferenceConstants.EDITOR_STICKY_OCCURRENCES.equals(property)) {
				if (event.getNewValue() instanceof Boolean)
					fStickyOccurrenceAnnotations= ((Boolean)event.getNewValue()).booleanValue();
				return;
			}
			if (SemanticHighlightings.affectsEnablement(getPreferenceStore(), event)) {
				if (isSemanticHighlightingEnabled())
					installSemanticHighlighting();
				else
					uninstallSemanticHighlighting();
				return;
			}