if (JavaCore.COMPILER_SOURCE.equals(event.getProperty()))
if (fJavaDoubleClickSelector != null && JavaCore.COMPILER_SOURCE.equals(event.getProperty()))
	public void handlePropertyChangeEvent(PropertyChangeEvent event) {		Assert.isTrue(isNewSetup());		if (fCodeScanner.affectsBehavior(event))			fCodeScanner.adaptToPreferenceChange(event);		if (fMultilineCommentScanner.affectsBehavior(event))			fMultilineCommentScanner.adaptToPreferenceChange(event);		if (fSinglelineCommentScanner.affectsBehavior(event))			fSinglelineCommentScanner.adaptToPreferenceChange(event);		if (fStringScanner.affectsBehavior(event))			fStringScanner.adaptToPreferenceChange(event);		if (fJavaDocScanner.affectsBehavior(event))			fJavaDocScanner.adaptToPreferenceChange(event);		if (JavaCore.COMPILER_SOURCE.equals(event.getProperty()))			if (event.getNewValue() instanceof String)				fJavaDoubleClickSelector.setVersion((String) event.getNewValue());	}