shortcuts() {
public synchronized Enumeration shortcuts() {
shortcuts(){  Vector shortcuts = new Vector();  Enumeration e = menus.elements();  while (e.hasMoreElements())    {      Menu menu = (Menu)e.nextElement();      if (menu.getShortcut() != null)        shortcuts.addElement(menu.getShortcut());    }  return(shortcuts.elements());}