code: public void write(Writer out)
           throws IOException
      {
          out.write("<dl"+attributes()+">");
  
          if (terms.size() != defs.size())
              throw new Error("mismatched Vector sizes");
  
          for (int i=0; i <terms.size() ; i++)
          {
              out.write("<dt>");
              ((Element)terms.elementAt(i)).write(out);
              out.write("</dt><dd>");
              ((Element)defs.elementAt(i)).write(out);
              out.write("</dd>");
          }
  
          out.write("</dl>");
      }
docs: ------------------------------------------------------------