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