item.processMouseEvent(e, path, manager);
  public void processMouseEvent(JMenuItem item, MouseEvent e,                                MenuElement[] path,                         MenuSelectionManager manager)  {    // TODO: What should be done here?  }