static void errorClosingTagNotEmpty(String systemID, int lineNr) throws XMLParseException {
    throw new XMLParseException(systemID, lineNr, "Closing tag must be empty");
  }
static void errorClosingTagNotEmpty(String systemID, int lineNr)