Bug 287454 [KeyBindings] F16-F19 unusable as shortcut keys in General -> Keys
bundles/org.eclipse.jface/src/org/eclipse/jface/bindings/keys/IKeyLookup.java
* The formal name for the 'Caps Lock' key.
	 */
	public static final String CAPS_LOCK_NAME = "CAPS_LOCK"; 
	/**
	 * The formal name of the 'Command' key.
	 */
	public static final String COMMAND_NAME = "COMMAND"; 
	/**
	 * The formal name of the carriage return (U+000D)
	 */
	public static final String CR_NAME = "CR"; 
	/**
	 * The formal name of the 'Ctrl' key.
	 */
	public static final String CTRL_NAME = "CTRL"; 
	/**
	 * The formal name of the delete (U+007F) key
	 */
	public static final String DEL_NAME = "DEL"; 
	
	/**
	 * An alternative name for the delete key.
	 */
	public static final String DELETE_NAME = "DELETE"; 
	/**
	 * The formal name of the 'End' key.
	 */
	public static final String END_NAME = "END"; 
	
	/**