Bug 4369 F2 should work even if "Hide Text Hover" is enabled
- enable "Hide Text Hover" - position the cursor on a type - press F2 observe: nothing happens although I explicitly requested JavaDoc help.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/CompilationUnitEditor.java
}
	
	private void stopBracketHighlighting() {
		if (fBracketHighlighter != null) {
			fBracketHighlighter.dispose();
			fBracketHighlighter= null;
		}
	}
	
	private boolean isBracketHighlightingEnabled() {
		IPreferenceStore store= getPreferenceStore();
		return store.getBoolean(MATCHING_BRACKETS);
	}
	
	private Color getColor(String key) {
		RGB rgb= PreferenceConverter.getColor(getPreferenceStore(), key);
		JavaTextTools textTools= JavaPlugin.getDefault().getJavaTextTools();
		return textTools.getColorManager().getColor(rgb);
	}
	
	/*
	 * @see AbstractTextEditor#dispose()
	 */
	public void dispose() {
		if (fJavaEditorErrorTickUpdater != null) {
			fJavaEditorErrorTickUpdater.setAnnotationModel(null);
			fJavaEditorErrorTickUpdater= null;
		}
		
		stopBracketHighlighting();