/* There's more in the current file to read. */
startOffset = endOffset;
fillFromFile(fileHandle, startOffset);
} else {
fileHandle.release();
fileHandle = null;
/* This file is done -- can we read in the next file? */
if (singleFile) {
throw new EOFException();