Bug 52801 "Press F2 for focus" does not work for spell-checking hovers
"Press F2 for focus" does not work for spell-checking hovers.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java
private IDocument fDocument;
		private boolean fCancelled= false;
		private IProgressMonitor fProgressMonitor;
		private Position[] fPositions;
		
		public OccurrencesFinderJob(IDocument document, Position[] positions) {
			super("Occurrences Marker"); 
			fDocument= document;
			fPositions= positions;
			fDocument.addDocumentListener(this);
		}
		
		private boolean isCancelled() {
			return fCancelled || fProgressMonitor.isCanceled();
		}
		
		/*
		 * @see Job#run(org.eclipse.core.runtime.IProgressMonitor)
		 */
		public IStatus run(IProgressMonitor progressMonitor) {
			
			fProgressMonitor= progressMonitor;