runButton_actionPerformed(); }
URL help = (URL)this.getClass().getResource(HELP_DOC); if (help != null) Browser.setPage(help); }
      public void actionPerformed(ActionEvent e) {	runButton_actionPerformed();      }