fgTypeCacherThread= new TypeCacher(fgSizeHint, TIMEOUT, null); fgTypeCacherThread.start();
if (fgBackground) { fgTypeCacherThread= new TypeCacher(fgSizeHint, TIMEOUT, null); fgTypeCacherThread.start(); }
		public void elementChanged(ElementChangedEvent event) {			boolean needsFlushing= processDelta(event.getDelta());			if (needsFlushing) {				synchronized(fgLock) {					fgTypeCache= null;					fgNumberOfCacheFlushes++;										if (fgTypeCacherThread != null) {						fgTypeCacherThread.reset();					} else {						fgTypeCacherThread= new TypeCacher(fgSizeHint, TIMEOUT, null);						fgTypeCacherThread.start();					}				}			}		}