public void output(DocType doctype, OutputStream out) throws IOException {
    Writer writer = makeWriter(out);
    output(doctype, writer);  // output() flushes
  }
public void output(DocType doctype, OutputStream out)