fCorrectionAssistant.uninstall();
if (fCorrectionAssistant != null) { fCorrectionAssistant.uninstall(); fCorrectionAssistant= null; }
	protected void handleDispose() {		fCorrectionAssistant.uninstall();		super.handleDispose();	}