docs: public void traceOn(OutputStream traceStream) {
      if (traceStream == null) {
        throw new NullPointerException();
      } else {
        this.traceStream = new PrintWriter(new OutputStreamWriter(traceStream, StandardCharsets.UTF_8), true);
      }
    }