private void initHelp() {
try {
URL url = getClass().getResource("/help/jhelpset.hs");
if (url == null) throw new NullPointerException("The help set could not be found");
HelpSet helpSet = new HelpSet(null, url);
HelpBroker helpBroker = helpSet.createHelpBroker();
contentsMenuItem.addActionListener(new CSH.DisplayHelpFromSource(helpBroker));
helpBroker.enableHelpKey(getRootPane(), "about", helpSet); // for F1
} catch (Throwable e) {
final String[] message;
if (e instanceof NullPointerException) {
message = new String[] { "Help set not found" };
} else if (e instanceof NoClassDefFoundError) {