docs: private void skipWhitespace() throws SAXException, IOException {
          // OK, do it the slow way.
          char c = readCh();
          while (isWhitespace(c)) {
              c = readCh();
          }
          unread(c);
      }