public int skipWhitespaceRead(){
  int c=read();
  while (WS.indexOf(c) != -1) {
    c=read();
  }
  return c;
}

public int skipWhitespaceRead ( ) { int c = read ( ) ; while ( WS . indexOf ( c ) != - 1 ) { c = read ( ) ; } return c ; }
read until non - whitespace character and then return it . this saves extra read / pushback .
