public void skipWhiteSpace ( ) { while ( pos < s . length ( ) && Character . isWhitespace ( s . charAt ( pos ) ) ) ++ pos ; }
Skips the next sequence of white space in s . An exception is not thrown if there is no matching white space .