fireDummyEvent();
public void removeNotify(){  if (menuBar != null)    menuBar.removeNotify();  super.removeNotify();  // By now we've been disconnected from the peer, and the peer set to  // null.  This is formally the same as saying "we just became  // un-displayable", so we wake up the event queue with a dummy event to  // see if it's time to shut down.  fireDummyEvent();}