JavaTextTools textTools= JavaPlugin.getDefault().getJavaTextTools(); if (textTools.affectsBehavior(event))
if (fViewerConfiguration.affectsTextPresentation(event)) { fViewerConfiguration.handlePropertyChangeEvent(event);
		public void propertyChange(PropertyChangeEvent event) {			if (fViewer == null)				return;						JavaTextTools textTools= JavaPlugin.getDefault().getJavaTextTools();			if (textTools.affectsBehavior(event))				fViewer.invalidateTextPresentation();		}