code: void flush(Writer out)
           throws IOException
      {
          if (nest!=null)
              nest.flush(out);
          else
          {
              write(out);
              elements.clear();
          }
      }
docs: /* Flush is a package method used by Page.flush() to locate the
  most nested composite, write out and empty its contents.