MenuKeyEvent e = new MenuKeyEvent(event.getComponent(), event.getID(), event.getWhen(), event.getModifiers(), event.getKeyCode(), event.getKeyChar(), path, manager); processMenuKeyEvent(e);   if (e.isConsumed()) event.consume();
  public void processKeyEvent(KeyEvent event, MenuElement[] path,                              MenuSelectionManager manager)  {    // Need to implement.  }