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