if (docFile != null) {
String[] fileNames = docFile.split(",");
// all the documents are listed in one file, with one document per
// line
for (String s : fileNames) {
docIters.add(new OneLinePerTemporalDocumentIterator(s));
}
}
// combine all of the document iterators into one iterator.
docIter = new CombinedIterator<TemporalDocument>(docIters);