code: static void openURL(String url) {
      try {
        openURL(new URL(url));
      } catch (MalformedURLException ex) {
        Tools.showError(ex);
      }
    }
docs: Launches the default browser to display a URL.
  
  @param url the URL to be displayed
  @since 4.1