Bug 38049 [KeyBindings] Action.setText needs to document/support @ escaping
Eclipse 2.1 1. Perform a text search for any of the JavaDoc @ tags, such as @return, @author, etc. 2. Bring down the Search view's history list and you'll see each search displayed as ''. See the attached screen shot.
bundles/org.eclipse.jface/src/org/eclipse/jface/action/Action.java
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 localized internal key code table.
	 */
	private static void initLocalizedKeyCodes() {
		localizedKeyCodes = new HashMap(40);
		localizedKeyCodes.put(JFaceResources.getString("Backspace").toUpperCase(), new Integer(8)); 
		localizedKeyCodes.put(JFaceResources.getString("Tab").toUpperCase(), new Integer(9)); 
		localizedKeyCodes.put(JFaceResources.getString("Return").toUpperCase(), new Integer(13)); 
		localizedKeyCodes.put(JFaceResources.getString("Enter").toUpperCase(), new Integer(13)); 
		localizedKeyCodes.put(JFaceResources.getString("Escape").toUpperCase(), new Integer(27)); 
		localizedKeyCodes.put(JFaceResources.getString("Esc").toUpperCase(), new Integer(27)); 
		localizedKeyCodes.put(JFaceResources.getString("Delete").toUpperCase(), new Integer(127)); 
		localizedKeyCodes.put(JFaceResources.getString("Space").toUpperCase(), new Integer(' ')); 
		localizedKeyCodes.put(JFaceResources.getString("Arrow_Up").toUpperCase(), new Integer(SWT.ARROW_UP)); 
		localizedKeyCodes.put(JFaceResources.getString("Arrow_Down").toUpperCase(), new Integer(SWT.ARROW_DOWN)); 
		localizedKeyCodes.put(JFaceResources.getString("Arrow_Left").toUpperCase(), new Integer(SWT.ARROW_LEFT)); 
		localizedKeyCodes.put(JFaceResources.getString("Arrow_Right").toUpperCase(), new Integer(SWT.ARROW_RIGHT)); 
		localizedKeyCodes.put(JFaceResources.getString("Page_Up").toUpperCase(), new Integer(SWT.PAGE_UP));