code: public void flush(Writer out)
           throws IOException
      {
          writeHtmlHead(out);
          writeBodyTag(out);
          super.flush(out);
      }
docs: /* Flush the current contents of the page.
  writeHtmlEnd() is not called and should either be
  explicitly called or called via an eventual call to write()