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
};
	
	
	
	private final static String CODE_FORMATTER_TAB_SIZE= JavaCore.FORMATTER_TAB_SIZE;
	
	private final static String CODE_FORMATTER_TAB_CHAR= JavaCore.FORMATTER_TAB_CHAR;
	
	public final static String MATCHING_BRACKETS=  "matchingBrackets"; 
	
	public final static String MATCHING_BRACKETS_COLOR=  "matchingBracketsColor"; 
	
	public final static String CURRENT_LINE= "currentLine"; 
	
	public final static String CURRENT_LINE_COLOR= "currentLineColor"; 
	
	public final static String PRINT_MARGIN= "printMargin"; 
	
	public final static String PRINT_MARGIN_COLOR= "printMarginColor"; 
	
	public final static String PRINT_MARGIN_COLUMN= "printMarginColumn"; 
	
	public final static String SPACES_FOR_TABS= "spacesForTabs"; 
	
	public final static String PROBLEM_INDICATION= "problemIndication"; 
	
	public final static String PROBLEM_INDICATION_COLOR= "problemIndicationColor"; 
	
	public final static String LINKED_POSITION_COLOR= "linkedPositionColor";