Bug 294790 [KeyBindings] LegacyActionTools should support SWT.F13 - F20
bundles/org.eclipse.jface/src/org/eclipse/jface/action/LegacyActionTools.java
keyCodes.put("F1", new Integer(SWT.F1)); 
		keyCodes.put("F2", new Integer(SWT.F2)); 
		keyCodes.put("F3", new Integer(SWT.F3)); 
		keyCodes.put("F4", new Integer(SWT.F4)); 
		keyCodes.put("F5", new Integer(SWT.F5)); 
		keyCodes.put("F6", new Integer(SWT.F6)); 
		keyCodes.put("F7", new Integer(SWT.F7)); 
		keyCodes.put("F8", new Integer(SWT.F8)); 
		keyCodes.put("F9", new Integer(SWT.F9)); 
		keyCodes.put("F10", new Integer(SWT.F10)); 
		keyCodes.put("F11", new Integer(SWT.F11)); 
		keyCodes.put("F12", new Integer(SWT.F12)); 
	}
	/**
	 * Initializes the internal key string table.
	 */
	private static void initKeyStrings() {
		keyStrings = new HashMap(40);
		keyStrings.put(new Integer(8), JFaceResources.getString("Backspace")); 
		keyStrings.put(new Integer(9), JFaceResources.getString("Tab")); 
		keyStrings.put(new Integer(13), JFaceResources.getString("Return")); 
		keyStrings.put(new Integer(13), JFaceResources.getString("Enter")); 
		keyStrings.put(new Integer(27), JFaceResources.getString("Escape")); 
		keyStrings.put(new Integer(27), JFaceResources.getString("Esc")); 
		keyStrings.put(new Integer(127), JFaceResources.getString("Delete")); 
		keyStrings.put(new Integer(' '), JFaceResources.getString("Space")); 
		keyStrings.put(new Integer(SWT.ARROW_UP), JFaceResources
				.getString("Arrow_Up")); 
		keyStrings.put(new Integer(SWT.ARROW_DOWN), JFaceResources
				.getString("Arrow_Down"));