if (fVersionedWordMatcher != null) fVersionedWordMatcher.setCurrentVersion(s);
if (fJava14WordMatcher != null) fJava14WordMatcher.setCurrentVersion(s); if (fJava15WordMatcher != null) fJava15WordMatcher.setCurrentVersion(s);
	public void adaptToPreferenceChange(PropertyChangeEvent event) {				if (event.getProperty().equals(SOURCE_VERSION)) {			Object value= event.getNewValue();			if (value instanceof String) {				String s= (String) value;					if (fVersionedWordMatcher != null)					fVersionedWordMatcher.setCurrentVersion(s);						}					} else if (super.affectsBehavior(event)) {			super.adaptToPreferenceChange(event);		}	}