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