if (javaTextTools.affectsBehavior(event))
if (configuration.affectsTextPresentation(event)) { configuration.handlePropertyChangeEvent(event);
			public void propertyChange(PropertyChangeEvent event) {				if (javaTextTools.affectsBehavior(event))					viewer.invalidateTextPresentation();			}