Bug 287454 [KeyBindings] F16-F19 unusable as shortcut keys in General -> Keys
bundles/org.eclipse.jface/src/org/eclipse/jface/bindings/keys/IKeyLookup.java
* An alternative name for the enter key.
	 */
	public static final String ENTER_NAME = "ENTER"; 
	/**
	 * The formal name of the escape (U+001B) key.
	 */
	public static final String ESC_NAME = "ESC"; 
	
	/**
	 * An alternative name for the escape key.
	 */
	public static final String ESCAPE_NAME = "ESCAPE"; 
	/**
	 * The formal name of the 'F1' key.
	 */
	public static final String F1_NAME = "F1"; 
	/**
	 * The formal name of the 'F10' key.
	 */
	public static final String F10_NAME = "F10"; 
	/**
	 * The formal name of the 'F11' key.
	 */
	public static final String F11_NAME = "F11"; 
	/**
	 * The formal name of the 'F12' key.
	 */
	public static final String F12_NAME = "F12"; 
	/**
	 * The formal name of the 'F13' key.