fWorkbench.removeWindowListener(fActivationListener);
PlatformUI.getWorkbench().removeWindowListener(fActivationListener);
	public void dispose() {		// Dispose activation listener		fWorkbench.removeWindowListener(fActivationListener);		fActivationListener= null;				disposeAST();				synchronized (fWaitLock) {			fWaitLock.notify();		}	}