il signor Vector è di Object... prova a fare un cast a String.
Comunque, sei cosciente del fatto che stai perdendo una riga del file?
codice:
public void a() {
BufferedReader filebuf = new BufferedReader(new FileReader("dati.ini"));
String nextStr = filebuf.readLine(); //<---qui stai già leggendo una riga e spostando il puntatore alla riga successiva
while ((nextStr = filebuf.readLine()) != null) { //<--il primo giro del while comincia pertanto dalla seconda riga
dati.addElement(nextStr);
}
filebuf.close();
}
Se era voluto, ottimo, altrimenti per ovviare:
codice:
public void a() {
BufferedReader filebuf = new BufferedReader(new FileReader("dati.ini"));
String nextStr = "";
while ((nextStr = filebuf.readLine()) != null) {
dati.addElement(nextStr);
}
filebuf.close();
}