Bug 98542 [preferences] missing node ids for new preference pages
N20050606 preference page set opened from the java editor's context menu> preferences does not yet include the additional preference pages added during 3.1
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java
action= getAction("FoldingExpandAll"); 
		foldingMenu.add(action);
	}
	/*
	 * @see org.eclipse.ui.texteditor.AbstractDecoratedTextEditor#collectContextMenuPreferencePages()
	 * @since 3.1
	 */
	protected String[] collectContextMenuPreferencePages() {
		String[] ids= super.collectContextMenuPreferencePages();
		String[] more= new String[ids.length + 5];
		more[0]= "org.eclipse.jdt.ui.preferences.JavaEditorPreferencePage"; 
		more[1]= "org.eclipse.jdt.ui.preferences.JavaTemplatePreferencePage"; 
		more[2]= "org.eclipse.jdt.ui.preferences.CodeAssistPreferencePage"; 
		more[3]= "org.eclipse.jdt.ui.preferences.JavaEditorHoverPreferencePage"; 
		more[4]= "org.eclipse.jdt.ui.preferences.JavaEditorColoringPreferencePage"; 
		System.arraycopy(ids, 0, more, 5, ids.length);
		return more;
	}
	
	/*
	 * @see AbstractTextEditor#getUndoRedoOperationApprover(IUndoContext)
	 * @since 3.1
	 */
	protected IOperationApprover getUndoRedoOperationApprover(IUndoContext undoContext) {
		
		
		return new NonLocalUndoUserApprover(undoContext, this, new Object [] { getInputJavaElement() }, IResource.class);
	}
}