Bug 112106 [KeyBindings] Changed shortcut keys don't take effect
I have just changed the shortcut key mapping for a few commands, but they don't all seem to take effect. For example, I just mapped Source > Format to F11, and it shows up that way in Window > Preferences > General > Keys as well as in Help > Key Assist, but the F11 key doesn't format, and the shortcut key displayed in the Source menu is still Ctrl+Shift+F. I mapped Incremental Reverse Find to Ctrl+Shift+F and still have the same problem. I think the whole key mapping part of Eclipse needs to be redesigned, as it is difficult to use and doesn't even seem to work. It's very frustrating.
bundles/org.eclipse.core.commands/src/org/eclipse/core/commands/ParameterizedCommand.java
final ParameterizedCommand command = (ParameterizedCommand) object;
		final boolean thisDefined = this.command.isDefined();
		final boolean otherDefined = command.command.isDefined();
		if (!thisDefined || !otherDefined) {
			return Util.compare(thisDefined, otherDefined);
		}
		try {
			return getName().compareTo(command.getName());
		} catch (final NotDefinedException e) {
			throw new Error(
					"Concurrent modification of a command's defined state"); 
		}
	}
	/* (non-Javadoc)
	 * @see java.lang.Object#equals(java.lang.Object)
	 */
	public final boolean equals(final Object object) {
		if (this == object) {
			return true;
		}
		if (!(object instanceof ParameterizedCommand)) {
			return false;
		}
		final ParameterizedCommand command = (ParameterizedCommand) object;
		if (!Util.equals(this.command, command.command)) {
			return false;
		}
		return Util.equals(this.parameterizations, command.parameterizations);
	}
	/**