code: void writeClassComment(Definition def, Writer out) throws IOException
     {
        out.write("/**\n");
        out.write(" * " + getClassName(def));
        writeEol(out);
        out.write(" *\n");
        out.write(" * @version $Revision: $\n");
        out.write(" */\n");
     }
docs: Output class comment
  
  @param def definition
  @param out Writer
  @throws IOException ioException