stopButton_actionPerformed(e); }
URL about = (URL)this.getClass().getResource(ABOUT_DOC); if (about != null) Browser.setPage(about); }
      public void actionPerformed(ActionEvent e) {	stopButton_actionPerformed(e);      }