code: private void requireWhitespace() throws SAXException, IOException {
          char c = readCh();
          if (isWhitespace(c)) {
              skipWhitespace();
          } else {
              fatal("whitespace required", c, null);
          }
      }
docs: Require whitespace characters.