protected override void maybeErrAttributesOnEndTag(HtmlAttributes attrs)
 {
     if (attrs.getLength() != 0) {
         /*
          * When an end tag token is emitted with attributes, that is a parse
          * error.
          */
         err("End tag had attributes.");
     }
 }