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