Bug 66923 [typing]Can delete word (Ctrl-Backspace) on read only file
When you open read-only java file, all editing functions are disabled except deleting with Ctrl-Backspace and Ctrl-Del, then it is imposible to save this file. On simple text file it works ok - it blocks all edditing functions (including Ctrl-Backspace). I am using build 200406111814
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java
}
				fOccurrenceAnnotations= (Annotation[])annotationMap.keySet().toArray(new Annotation[annotationMap.keySet().size()]);
			}
			return Status.OK_STATUS;
		}
	}	
	
	/**
	 * Updates the occurrences annotations based
	 * on the current selection.
	 * 
	 * @param selection the text selection
	 * @param astRoot the compilation unit AST
	 * @since 3.0
	 */
	protected void updateOccurrenceAnnotations(ITextSelection selection, CompilationUnit astRoot) {
		if (fOccurrencesFinderJob != null)
			fOccurrencesFinderJob.cancel();
		if (!fMarkOccurrenceAnnotations)
			return;
		
		if (astRoot == null || selection == null)
			return;
		
		IDocument document= getSourceViewer().getDocument();
		if (document == null)
			return;
				
		List matches= new ArrayList();
		String message;