public void notifyFilesDeleted(Collection<? extends File> paths) {
    if (!paths.isEmpty()) {
      notifyFilesDeleted(() -> paths);
    }
  }
public void notifyFilesDeleted(Collection<? extends File> paths)