Check for end of file in WikipediaDumpSplitter