static void errorInvalidInput(String systemID, int lineNr, String unexpectedString) throws XMLParseException {
    throw new XMLParseException(systemID, lineNr, "Invalid input: " + unexpectedString);
  }
static void errorInvalidInput(String systemID, int lineNr, String unexpectedString)