}
setHelpMenu(Menu menu){  if (helpMenu != null)    {      helpMenu.removeNotify ();      helpMenu.parent = null;    }  helpMenu = menu;  if (menu.parent != null)    menu.parent.remove (menu);  menu.parent = this;  MenuBarPeer peer = (MenuBarPeer) getPeer ();  if (peer != null)    {      menu.addNotify();      peer.addHelpMenu (menu);    }}