Shell shell= window.getShell(); if (shell != null && !shell.isDisposed()) shell.removeShellListener(fActivationListener); fActivationListener= null;
	public void uninstall() {				IWorkbenchPartSite site= fTextEditor.getSite();		IWorkbenchWindow window= site.getWorkbenchWindow();		window.getPartService().removePartListener(fPartListener);		fPartListener= null;				super.uninstall();	}