add(Menu menu) {
public synchronized Menu add(Menu menu) {
add(Menu menu){  if (menu.parent != null)    menu.parent.remove (menu);  menu.parent = this;  menus.addElement(menu);  if (peer != null)    {      menu.addNotify();    }  return(menu);}