fgTypeCacherThread= null;
try { fgTypeCacherThread.join(1000); } catch (InterruptedException e) { JavaPlugin.log(e); } fgTypeCacherThread= null; }
	public static void terminate() {				if (fgDeltaListener != null)			JavaCore.removeElementChangedListener(fgDeltaListener);		fgDeltaListener= null;				synchronized(fgLock) {			fgTerminated= true;			fgAsyncMode= false;			if (fgTypeCacherThread != null)				fgTypeCacherThread.abort();			fgTypeCacherThread= null;		}	}