if (fBackgroundColor != null && !fBackgroundColor.isDisposed()) fBackgroundColor.dispose();
	public void dispose() {				if (fJavaTextTools != null) {			fJavaTextTools= null;		}				if (fOverlayStore != null) {			fOverlayStore.stop();			fOverlayStore= null;		}				super.dispose();	}