Bug 17423 Revert apears twice in the popup menu.
Build F1. 1) Open a java editor. 2) Popup the menu. There is only one Revert option disable as it should be. 3) Make the editor dirty. 4) Popup the menu. There are two Revert option in the menu. One after UNDO and other before FORMAT.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/CompilationUnitEditor.java
public final static String OVERVIEW_RULER= "overviewRuler"; 
	
	
	
	
	protected ISelectionChangedListener fStatusLineClearer;
	
	protected ISavePolicy fSavePolicy;
	
	private JavaEditorErrorTickUpdater fJavaEditorErrorTickUpdater;
	
	private PaintManager fPaintManager;
	
	private BracketPainter fBracketPainter;
	
	private LinePainter fLinePainter;
	
	private PrintMarginPainter fPrintMarginPainter;
	
	private ProblemPainter fProblemPainter;
	
	private TabConverter fTabConverter;
	
	private SelectionHistory fSelectionHistory;
	
	
	private GenerateActionGroup fGenerateActionGroup;
	private CompositeActionGroup fContextMenuGroup;
	
	/**