file = (File) iter.next();
}
if (file.getName().endsWith(".gz")) {
nextObject = new BufferedReader(new InputStreamReader(new GZIPInputStream(new FileInputStream(file)), enc));
} else {
nextObject = new BufferedReader(new EncodingFileReader(file, enc));
}
//nextObject = new BufferedReader(new FileReader(file));
} else if (o instanceof String) {
// File file = new File((String)o);
// if (file.exists()) {