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
return;
		}
		
		IWorkspaceRoot root= ResourcesPlugin.getWorkspace().getRoot();
		
		/*
		 * 1GF7WG9: ITPJUI:ALL - EXCEPTION: "Save As..." always fails
		 */
		final IPackageFragment fragment= getPackage(root, folderPath);
		IFile file= root.getFile(filePath);
		
		/*
		 * Fix for http://dev.eclipse.org/bugs/show_bug.cgi?id=8873
		 * Problem caused by http://dev.eclipse.org/bugs/show_bug.cgi?id=9351
		 * Will be removed if #9351 is solved.
		 */
		if (original != null && original.equals(file) && original.exists()) {
			doSave(progressMonitor);
			return;
		}
		
		
		final FileEditorInput newInput= new FileEditorInput(file);
		final boolean originalExists= original.exists();
		
		WorkspaceModifyOperation op= new WorkspaceModifyOperation() {
			public void execute(final IProgressMonitor monitor) throws CoreException {
				
				if (fragment != null && originalExists) {