while ((typeName = ds.readLine()) != null) {
while ((typeName = in.readLine()) != null) {
  public static Vector readTypeNames(String fileName) throws IOException {    Vector typeNames = new Vector(500);    DataInputStream ds = new DataInputStream(new FileInputStream(fileName));    String typeName;    while ((typeName = ds.readLine()) != null) { // stop at EOF      int index = typeName.indexOf('#');      if (index >= 0) // ignore trailing comments        typeName = typeName.substring(0, index);      typeName = typeName.trim(); // ignore trailing whitespace      if (typeName.length() == 0)        continue; // ignore comment-only lines      typeNames.addElement(typeName);    }    ds.close();    return typeNames;  }