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
/**
	 * Constructs a new instance of <code>ParameterizedCommand</code> with
	 * specific values for zero or more of its parameters.
	 * 
	 * @param command
	 *            The command that is parameterized; must not be
	 *            <code>null</code>.
	 * @param parameterizations
	 *            The parameterization of the command. This value may be
	 *            <code>null</code>. If it is not <code>null</code> then it
	 *            should be an array of quadruples (<code>String[]</code>).
	 *            These quadruples are indexed using the <code>INDEX</code>
	 *            constants defined in this class. This argument is not copied;
	 *            if you need to make changes to it after constructing this
	 *            parameterized command, then make a copy yourself.
	 */
	public ParameterizedCommand(final Command command,
			final Parameterization[] parameterizations) {
		if (command == null) {
			throw new NullPointerException(
					"A parameterized command cannot have a null command"); 
		}
		this.command = command;
		this.parameterizations = (parameterizations == null || parameterizations.length == 0) ? null
				: parameterizations;
	}
	/* (non-Javadoc)
	 * @see java.lang.Comparable#compareTo(java.lang.Object)
	 */
	public final int compareTo(final Object object) {