private int skipWhitespace() throws IOException {
		int c = 0;
		do {
			c = r.read();
			if (c < 0) {
				return -1;
			}
		} while (Character.isWhitespace(c));
		
		return c;
	}
private int skipWhitespace ( ) throws IOException { int c = 0 ; do { c = r . read ( ) ; if ( c < 0 ) { return - 1 ; } } while ( Character . isWhitespace ( c ) ) ; return c ; }
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