Rework file handling to use RandomAccessFile. Kudos to the authors of
the 2 Stack Overflow questions today that helped to remind me about this
class.