super.addNotify ();
  public void addNotify ()  {    if (peer != null)      {	// This choice of toolkit seems unsatisfying, but I'm not sure	// what else to do.	peer = Toolkit.getDefaultToolkit ().createCheckboxMenuItem (this);      }  }