docs: public static PrintWriter encodedOutputStreamPrintWriter(OutputStream stream,
                       String encoding, boolean autoFlush) throws IOException {
      // PrintWriter doesn't allow encoding to be null; or to have charset and flush
      if (encoding == null) {
        return new PrintWriter(stream, autoFlush);
      } else {
        return new PrintWriter(new OutputStreamWriter(stream, encoding), autoFlush);
      }
    }