readTokens() { String line = new String(); int    bb = VM_FileSystem.readByte(STDIN);
private static String[] readTokens() { String line = new String(); int    bb = VM_FileSystem.readByte(STDIN);
   readTokens()      {      String line = new String();      int    bb = VM_FileSystem.readByte(STDIN);            if (bb < 0)         return null;            for ( ; bb >= 0 && bb != '\n'; bb = VM_FileSystem.readByte(STDIN))         line += (char)bb;      Vector tokens = new Vector();      for (int i = 0, n = line.length(); i < n; ++i)         {         char ch = line.charAt(i);                  if (isLetter(ch) || isDigit(ch)) {            String alphaNumericToken = new String();            while (isLetter(ch) || isDigit(ch)) {	       alphaNumericToken += ch;               if (++i == n) break;               ch = line.charAt(i);	    }            --i;            tokens.addElement(alphaNumericToken);            continue;	 }         if (ch != ' ' && ch != '\r' && ch != '\t')            {            String symbol = new String();            symbol += ch;            tokens.addElement(symbol);            continue;            }         }            String[] results = new String[tokens.size()];      for (int i = 0, n = results.length; i < n; ++i)         results[i] = (String)tokens.elementAt(i);      return results;      }