URL help = (URL)this.getClass().getResource(ABOUT_DOC);
URL help = null; try { File f = new File(PROPERTIES_DOC); if (f.exists()) help = f.toURI().toURL(); } catch (IllegalArgumentException iae) { } catch (MalformedURLException mue) { }
      public void actionPerformed(ActionEvent e) {	URL help = (URL)this.getClass().getResource(ABOUT_DOC);	if (help != null)	  Browser.setPage(help);      }