getShortcutMenuItem(MenuShortcut shortcut) {
public MenuItem getShortcutMenuItem(MenuShortcut shortcut) {
getShortcutMenuItem(MenuShortcut shortcut){  Enumeration e = menus.elements();  while (e.hasMoreElements())    {      Menu menu = (Menu)e.nextElement();      MenuShortcut s = menu.getShortcut();      if ((s != null) && (s.equals(shortcut)))        return(menu);    }  return(null);}