@ElementTypesAreNonnullByDefault
// Users are unlikely to use this unless they're already interacting with MoreFiles and Path.
@IgnoreJRERequirement
public final class InsecureRecursiveDeleteException extends FileSystemException {

  public InsecureRecursiveDeleteException(@CheckForNull String file) {
    super(file, null, "unable to guarantee security of recursive delete");
  }