if (fgBackground) {
if (fgAsyncMode) {
		public void elementChanged(ElementChangedEvent event) {			boolean needsFlushing= processDelta(event.getDelta());			if (needsFlushing) {				synchronized(fgLock) {					//if (DEBUG) System.err.println("*** cache flushed"); //$NON-NLS-1$					fgTypeCache= null;					fgNumberOfCacheFlushes++;										if (fgTypeCacherThread != null) {						fgTypeCacherThread.reset();					} else {						if (fgBackground) {	// start thread only if we are in background mode							fgTypeCacherThread= new TypeCacher(fgSizeHint, TIMEOUT, null);							fgTypeCacherThread.start();						}					}				}			}		}