FilePointer getNext is solid.  fp.endOfFile() will be set if there is
nothing left.