kadmin/gui/KdcGuiRoot.java

73     public MenuShadow Help;
403         menu1.set("text", "Help");
409         browserHelp1.set("text", "Help Contents");
2260         menubar1.set("helpMenu", new AMRef("Help"));
2336         Help = new MenuShadow();
2337         Help.set("name", "Help");
2338         menubar1.add(Help);
2339         Help.set("text", "Help");
2340         Help.set("canTearOff", Boolean.FALSE);
2344         Help.add(browserHelp2);
2345         browserHelp2.set("text", "Help Contents");
2349         Help.add(Context);
2355         Help.add(About);