Sí señor, Xerelo. No recordaba que, al leer un fichero, se podía determinar la codificación del mismo:
Código:
File f = new File("mi_archivo.txt");
InputStreamReader fr = new InputStreamReader(new FileInputStream(f), "8859_1");
BufferedReader br = new BufferedReader(fr);
Aunque el archivo está en Linux, fue creado en Windows, con una codificación ISO-8859-1.
Paso aquí la notación Java de cada formato de archivo, por si a alguien le pudiera venir bien en el futuro:
http://cafeconleche.org/books/xmljav...s/ch03s03.html
Muchísimas gracias, Xerelo ;)