Vector tokens = new Vector();
ArrayList tokens = new ArrayList();
  private static String[] 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;  }