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 'Page Down' key.
	 */
	public static final String PAGE_DOWN_NAME = "PAGE_DOWN"; 
	/**
	 * The formal name of the 'Page Up' key.
	 */
	public static final String PAGE_UP_NAME = "PAGE_UP"; 
	/**
	 * The formal name for the 'Pause' key.
	 */
	public static final String PAUSE_NAME = "PAUSE"; 
	/**
	 * The formal name for the 'Print Screen' key.
	 */
	public static final String PRINT_SCREEN_NAME = "PRINT_SCREEN"; 
	
	/**
	 * An alternative name for the enter key.
	 */
	public static final String RETURN_NAME = "RETURN"; 
	/**
	 * The formal name for the 'Scroll Lock' key.
	 */
	public static final String SCROLL_LOCK_NAME = "SCROLL_LOCK"; 		
	/**
	 * The formal name of the 'Shift' key.
	 */
	public static final String SHIFT_NAME = "SHIFT"; 
	/**