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