public void reportABug() {
    try {
      Desktop.getDesktop().browse(new URL(Constants.BUG_REPORT_URL).toURI());
    } catch (final MalformedURLException e) {
      // Should never happen
      assert false : "Malformed URL";
    } catch (final URISyntaxException e) {
      // Should never happen
      assert false : "URL could not be converted to URI";
    } catch (final IOException e) {
      JOptionPane.showMessageDialog(
          window,
          "Couldn't open URL \"" + Constants.BUG_REPORT_URL + "\"!",
          Constants.DEFAULT_WINDOW_TITLE,
          JOptionPane.ERROR_MESSAGE);
    }
  }
Controller class with functions applicable to all "tab panels".
java/ui/src/main/java/com/google/security/zynamics/bindiff/gui/tabpanels/TabPanelFunctions.java