protected String readWord(Reader r) throws IOException {
  StringBuffer buf=new StringBuffer();
  char c=skipAllWhitespace(r);
  while (c != (char)-1 && !Character.isWhitespace(c)) {
    buf.append(c);
    c=(char)r.read();
  }
  if (c == (char)-1) {
    setDone(true);
  }
  return buf.toString();
}

protected String readWord ( Reader r ) throws IOException { StringBuffer buf = new StringBuffer ( ) ; char c = skipAllWhitespace ( r ) ; while ( c != ( char ) - 1 && ! Character . isWhitespace ( c ) ) { buf . append ( c ) ; c = ( char ) r . read ( ) ; } if ( c == ( char ) - 1 ) { setDone ( true ) ; } return buf . toString ( ) ; }
reads a " word " , ie whitespace delimited string of characters , from the reader
