docs: private void deleteStalePbdFile(File file) throws IOException {
          try {
              PBDSegment.setFinal(file, false);
              if (m_usageSpecificLog.isDebugEnabled()) {
                  m_usageSpecificLog.debug("Segment " + file.getName()
                  + " (final: " + PBDSegment.isFinal(file) + "), will be closed and deleted during init");
              }
              file.delete();
          } catch (Exception e) {
              if (e instanceof NoSuchFileException) {
                  // Concurrent delete, noop
              } else {
                  throw e;
              }
          }
      }