code: private int skipWhitespace() throws IOException {
  		int c = 0;
  		do {
  			c = r.read();
  			if (c < 0) {
  				return -1;
  			}
  		} while (Character.isWhitespace(c));
  		
  		return c;
  	}
docs: Reads characters from the stream until a non-whitespace character
  has been found. Reads at least one character.
  @return the next non-whitespace character
  @throws IOException if the stream could not be read