fgInitialized= true;
		public void elementChanged(ElementChangedEvent event) {			boolean needsFlushing= processDelta(event.getDelta());			if (needsFlushing) {				synchronized(fgLock) {					fgInitialized= true;					fgTypeCache= null;					fgNumberOfCacheFlushes++;										if (fgTypeCacherThread != null) {						fgTypeCacherThread.reset();					} else {						if (fgAsyncMode) {	// start thread only if we are in background mode							fgTypeCacherThread= new TypeCacher(fgSizeHint, TIMEOUT, null);							fgTypeCacherThread.start();						}					}				}			}		}