enablePainting();
	public void paint(int reason) {		if (!fIsActive) {			fIsActive= true;			IDocumentProvider provider= JavaPlugin.getDefault().getCompilationUnitDocumentProvider();			setModel(provider.getAnnotationModel(fTextEditor.getEditorInput()));			enablePainting();		}	}