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
if (!fMarkOccurrenceAnnotations)
							uninstallOccurrencesFinder();
						else
							installOccurrencesFinder();
					}
				}
				return;
			}
			if (PreferenceConstants.EDITOR_MARK_TYPE_OCCURRENCES.equals(property)) {
				if (event.getNewValue() instanceof Boolean)
					fMarkTypeOccurrences= ((Boolean)event.getNewValue()).booleanValue();
				return;
			}
			if (PreferenceConstants.EDITOR_MARK_METHOD_OCCURRENCES.equals(property)) {
				if (event.getNewValue() instanceof Boolean)
					fMarkMethodOccurrences= ((Boolean)event.getNewValue()).booleanValue();
				return;
			}
			if (PreferenceConstants.EDITOR_MARK_CONSTANT_OCCURRENCES.equals(property)) {
				if (event.getNewValue() instanceof Boolean)
					fMarkConstantOccurrences= ((Boolean)event.getNewValue()).booleanValue();
				return;
			}
			if (PreferenceConstants.EDITOR_MARK_FIELD_OCCURRENCES.equals(property)) {
				if (event.getNewValue() instanceof Boolean)
					fMarkFieldOccurrences= ((Boolean)event.getNewValue()).booleanValue();
				return;
			}
			if (PreferenceConstants.EDITOR_MARK_LOCAL_VARIABLE_OCCURRENCES.equals(property)) {
				if (event.getNewValue() instanceof Boolean)