removeNotify() {
public void removeNotify() {
removeNotify(){  Enumeration e = menus.elements();  while (e.hasMoreElements())  {    Menu mi = (Menu) e.nextElement();    mi.removeNotify();  }  super.removeNotify();}