Bug 287454 [KeyBindings] F16-F19 unusable as shortcut keys in General -> Keys
bundles/org.eclipse.jface/src/org/eclipse/jface/bindings/keys/IKeyLookup.java
*/
	public static final String F13_NAME = "F13"; 
	/**
	 * The formal name of the 'F14' key.
	 */
	public static final String F14_NAME = "F14"; 
	/**
	 * The formal name of the 'F15' key.
	 */
	public static final String F15_NAME = "F15"; 
	/**
	 * The formal name of the 'F2' key.
	 */
	public static final String F2_NAME = "F2"; 
	/**
	 * The formal name of the 'F3' key.
	 */
	public static final String F3_NAME = "F3"; 
	/**
	 * The formal name of the 'F4' key.
	 */
	public static final String F4_NAME = "F4"; 
	/**
	 * The formal name of the 'F5' key.
	 */
	public static final String F5_NAME = "F5"; 
	/**
	 * The formal name of the 'F6' key.
	 */
	public static final String F6_NAME = "F6";