stopBracketHighlighting(); stopLineHighlighting();
	public void dispose() {		ISourceViewer sourceViewer= getSourceViewer();		if (sourceViewer instanceof ITextViewerExtension)			((ITextViewerExtension) sourceViewer).removeVerifyKeyListener(fBracketInserter);		if (fPropertyChangeListener != null) {			Preferences preferences= JavaCore.getPlugin().getPluginPreferences();			preferences.removePropertyChangeListener(fPropertyChangeListener);			fPropertyChangeListener= null;		}				if (fJavaEditorErrorTickUpdater != null) {			fJavaEditorErrorTickUpdater.dispose();			fJavaEditorErrorTickUpdater= null;		}				if (fSelectionHistory != null)			fSelectionHistory.dispose();				stopBracketHighlighting();		stopLineHighlighting();				if (fPaintManager != null) {			fPaintManager.dispose();			fPaintManager= null;		}				if (fActionGroups != null)			fActionGroups.dispose();						super.dispose();	}