void closeFile() throws IOException {
    randomAccessFileLock.lock();
    try {
      if (randomAccessFile != null) {
        randomAccessFile.close();
      }
    }
    finally {
      randomAccessFileLock.unlock();
    }
  }
void closeFile()