fgTerminated= true; fgBackground= false;
	public static void terminate() {		if (fgDeltaListener != null)			JavaCore.removeElementChangedListener(fgDeltaListener);		fgDeltaListener= null;		synchronized(fgLock) {			if (fgTypeCacherThread != null)				fgTypeCacherThread.abort();			fgTypeCacherThread= null;		}	}