code: private int skipWhitespaceRead() throws IOException
      {
          FastPushbackReader in = input;
          int c;
          do
          {
              c = in.read();
          } while (c == ' ' || c == '\n' || c == '\r' || c == '\t');
          return c;
      }
docs: Read until non-whitespace character and then return it.
  This saves extra read/pushback.
  
  @return int representing the next non-whitespace character in the stream.
  @throws IOException for stream errors or parsing errors.