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