public void writeDocument(OutputStream out, String dtdName, String encoding) throws IOException {
   if (encoding != null) {
     writeDocumentImpl(
         new BufferedWriter(new OutputStreamWriter(out, encoding)), dtdName, encoding);
   } else {
     writeDocumentImpl(new BufferedWriter(new OutputStreamWriter(out)), dtdName, encoding);
   }
 }
 public void writeDocument(Writer w, String dtdName, String encoding) throws IOException {
   writeDocumentImpl(w, dtdName, encoding);
 }