static void errorExpectedInput(String systemID, int lineNr, String expectedString) throws XMLParseException {
    throw new XMLParseException(systemID, lineNr, "Expected: " + expectedString);
  }
static void errorExpectedInput(String systemID, int lineNr, String expectedString)