if (event.getProperty().equals(PreferenceConstants.EDITOR_MARK_OCCURRENCES)) setChecked(((Boolean)event.getNewValue()).booleanValue());
if (event.getProperty().equals(PreferenceConstants.EDITOR_MARK_OCCURRENCES)) { if (event.getNewValue() instanceof Boolean) setChecked(((Boolean)event.getNewValue()).booleanValue()); }
	public void propertyChange(PropertyChangeEvent event) {		if (event.getProperty().equals(PreferenceConstants.EDITOR_MARK_OCCURRENCES))			setChecked(((Boolean)event.getNewValue()).booleanValue());	}