private int readWS() throws IOException {
  int nextChar;
  while ((nextChar=readChar()) != -1 && Character.isWhitespace((char)nextChar)) {
    readWS=true;
  }
  return nextChar;
}

private int readWS ( ) throws IOException { int nextChar ; while ( ( nextChar = readChar ( ) ) != - 1 && Character . isWhitespace ( ( char ) nextChar ) ) { readWS = true ; } return nextChar ; }
skips any white space , returning the character after the white space .
