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