public void add (String label) {  }
public synchronized MenuItem add(MenuItem mi) { items.addElement(mi); if (mi.parent != null) { mi.parent.remove(mi); } mi.parent = this; return mi; }
  public void add (String label)  { /* FIXME */ }