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