code: public void write(Writer out)
           throws IOException
      {
          out.write("<!--\n");
          super.write(out);
          out.write("\n-->");
      }
docs: /* -----------------------------------------------------------------