docs: public PrintWriter pw(OutputStream o) {
      String encoding = outputEncoding;
      if (!java.nio.charset.Charset.isSupported(encoding)) {
        System.out.println("Warning: desired encoding " + encoding + " not accepted. ");
        System.out.println("Using UTF-8 to construct PrintWriter");
        encoding = "UTF-8";
      }
  
      try {
        return new PrintWriter(new OutputStreamWriter(o, encoding), true);
      } catch (UnsupportedEncodingException e) {
        System.out.println("Warning: desired encoding " + outputEncoding + " not accepted. " + e);
        try {
          return new PrintWriter(new OutputStreamWriter(o, "UTF-8"), true);
        } catch (UnsupportedEncodingException e1) {
          System.out.println("Something is really wrong.  Your system doesn't even support UTF-8!" + e1);
          return new PrintWriter(o, true);
        }
      }
    }