code: void flush(OutputStream out, String encoding)
           throws IOException
      {
          flush(new OutputStreamWriter(out,encoding));
      }
docs: /* Flush is a package method used by Page.flush() to locate the
  most nested composite, write out and empty its contents.