Código PHP:
v.add((new Vector()).add(linea));
Con respecto al error de arriba, no se por que te lo da, mira este es un ejemplo extraido directamente de la API de SUN de BufferedReader
Código PHP:
BufferedReader in
= new BufferedReader(new FileReader("foo.in"));
LA unica diferencia es que el nombre de archivo de pasa como String y no como File, pero tambien al consultar FileReader hacepta como parametro un File sin problemas.
Saludos