fgBackground= false;
fgAsyncMode= false;
	public static void terminate() {		if (DEBUG) System.err.println("terminate"); //$NON-NLS-1$		if (fgDeltaListener != null)			JavaCore.removeElementChangedListener(fgDeltaListener);		fgDeltaListener= null;		synchronized(fgLock) {			fgTerminated= true;			fgBackground= false;			if (fgTypeCacherThread != null)				fgTypeCacherThread.abort();			fgTypeCacherThread= null;		}	}