try adding some buffering to RandomAccessFile reads