docs: void renameDataFile(boolean wasNio) {
  
          writeLock.lock();
  
          try {
              if (fa.isStreamElement(fileName + ".new")) {
                  deleteFile(wasNio);
                  fa.renameElement(fileName + ".new", fileName);
              }
          } finally {
              writeLock.unlock();
          }
      }