/**
   * Print a message
   *
   * @param ex exception to be printed out
   */
  protected void printMessage(LaunchException ex) {
    StringBuilder result = new StringBuilder();
    result.append("netx: ");
    result.append(ex.getCategory());
    if (ex.getSummary() != null) {
      result.append(": ");
      result.append(ex.getSummary());
    }
    if (ex.getCause() != null) {
      result.append(recursiveDescription(ex.getCause()));
    }
    logger.log(OutputController.Level.MESSAGE_ALL, result.toString());

    logger.log(ex);
  }