if (fSelectionHistory != null) fSelectionHistory.dispose();
	public void dispose() {		if (fJavaEditorErrorTickUpdater != null) {			fJavaEditorErrorTickUpdater.setAnnotationModel(null);			fJavaEditorErrorTickUpdater= null;		}				if (fSelectionHistory != null)			fSelectionHistory.dispose();				stopBracketHighlighting();		stopLineHighlighting();				if (fPaintManager != null) {			fPaintManager.dispose();			fPaintManager= null;		}				super.dispose();	}