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
final FileEditorInput newInput= new FileEditorInput(file);
		
		WorkspaceModifyOperation op= new WorkspaceModifyOperation() {
			public void execute(final IProgressMonitor monitor) throws CoreException {
				
				if (fragment != null) {
					try {	
						
						
						IWorkingCopyManager manager= JavaPlugin.getDefault().getWorkingCopyManager();
						ICompilationUnit unit= manager.getWorkingCopy(getEditorInput());
						
						/*
						 * 1GJXY0L: ITPJUI:WINNT - NPE during save As in Java editor
						 * Introduced null check, just go on in the null case
						 */
						if (unit != null) {
							/* 
							 * 1GF5YOX: ITPJUI:ALL - Save of delete file claims it's still there
							 * Changed false to true.
							 */
							unit.copy(fragment, null, fileName, true, monitor);
							return;
						}
						
					} catch (JavaModelException x) {
					}
				}