Use native API of RandomAccessFile.