code: void printEvalException(EvalException ex) {
          if (ex.getMessage() == null) {
              hard("%s thrown", ex.getExceptionClassName());
          } else {
              hard("%s thrown: %s", ex.getExceptionClassName(), ex.getMessage());
          }
          printStackTrace(ex.getStackTrace());
      }
docs: where