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/ToggleMarkOccurrencesAction.java
public void setEditor(ITextEditor editor) {
		
		super.setEditor(editor);
		
		if (editor != null) {
			
			if (fStore == null) {
				fStore= JavaPlugin.getDefault().getPreferenceStore();
				fStore.addPropertyChangeListener(this);
			}
			
		} else if (fStore != null) {
			fStore.removePropertyChangeListener(this);
			fStore= null;
		}
		
		update();
	}
	
	/*
	 * @see IPropertyChangeListener#propertyChange(PropertyChangeEvent)
	 */
	public void propertyChange(PropertyChangeEvent event) {
		if (event.getProperty().equals(PreferenceConstants.EDITOR_MARK_OCCURRENCES)) {
			if (event.getNewValue() instanceof Boolean)
				setChecked(((Boolean)event.getNewValue()).booleanValue());
		}
	}
}