Bug 85694 [preferences][navigation] correct editor-specific context menus
I20050215-2300 (m5 test pass) - open the preferences from the context menu in a) the java editor b) the properties file editor -> the java editor does not show the spelling page -> the properties file does not show the properties editor preference page fix is easy: change AbstractDecoratedTextEditor.collectContextMenuPreferencePages to include the spelling page, remove the obsolete entry from JavaEditor, and add the properties file editor page in PropertiesFileEditor.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java
if (astRoot == null || selection == null)
			return;
		
		IDocument document= getSourceViewer().getDocument();
		if (document == null)
			return;
		
		List matches= null;
		if (fMarkExceptions || fMarkTypeOccurrences) {
			ExceptionOccurrencesFinder exceptionFinder= new ExceptionOccurrencesFinder();
			String message= exceptionFinder.initialize(astRoot, selection.getOffset(), selection.getLength());
			if (message == null) {
				matches= exceptionFinder.perform();
				if (!fMarkExceptions && !matches.isEmpty())
					matches.clear();
			}
		}
		
		if ((matches == null || matches.isEmpty()) && (fMarkMethodExitPoints || fMarkTypeOccurrences)) {
			MethodExitsFinder finder= new MethodExitsFinder();
			String message= finder.initialize(astRoot, selection.getOffset(), selection.getLength());
			if (message == null) {
				matches= finder.perform();
				if (!fMarkMethodExitPoints && !matches.isEmpty())
					matches.clear();
			}
		}
		
		if ((matches == null || matches.isEmpty()) && (fMarkImplementors || fMarkTypeOccurrences)) {