remove(index); }
if (peer != null) { MenuBarPeer mp = (MenuBarPeer) peer; mp.delMenu(index); } }
remove(MenuComponent menu){  int index = menus.indexOf(menu);  if (index == -1)    return;  remove(index);}