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 of the 'F7' key.
	 */
	public static final String F7_NAME = "F7"; 
	/**
	 * The formal name of the 'F8' key.
	 */
	public static final String F8_NAME = "F8"; 
	/**
	 * The formal name of the 'F9' key.
	 */
	public static final String F9_NAME = "F9"; 
	/**
	 * The formal name of the form feed (U+000C) key.
	 */
	public static final String FF_NAME = "FF"; 
	/**
	 * The formal name of the 'Home' key.
	 */
	public static final String HOME_NAME = "HOME"; 
	/**
	 * The formal name of the 'Insert' key.
	 */
	public static final String INSERT_NAME = "INSERT"; 
	/**
	 * The formal name of the line feed (U+000A) key.
	 */
	public static final String LF_NAME = "LF"; 
	/**
	 * The formal name of the 'M1' key.