Bug 44362 [painting] Should not search for occurrences if element under cursor is the same
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java
}
	/*
	 * @see org.eclipse.ui.texteditor.AbstractTextEditor#rulerContextMenuAboutToShow(org.eclipse.jface.action.IMenuManager)
	 */
	protected void rulerContextMenuAboutToShow(IMenuManager menu) {
		super.rulerContextMenuAboutToShow(menu);
		IMenuManager foldingMenu= new MenuManager(JavaEditorMessages.Editor_FoldingMenu_name, "projection");
		menu.appendToGroup(ITextEditorActionConstants.GROUP_RULERS, foldingMenu);
		IAction action= getAction("FoldingToggle"); 
		foldingMenu.add(action);
		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;
	}
}