if (fCorrectionCommands != null) { fCorrectionCommands.deregisterCommands(); }
	public void dispose() {		ISourceViewer sourceViewer= getSourceViewer();		if (sourceViewer instanceof ITextViewerExtension)			((ITextViewerExtension) sourceViewer).removeVerifyKeyListener(fBracketInserter);		if (fJavaEditorErrorTickUpdater != null) {			fJavaEditorErrorTickUpdater.dispose();			fJavaEditorErrorTickUpdater= null;		}		if (fActionGroups != null) {			fActionGroups.dispose();			fActionGroups= null;		}		super.dispose();	}