Soft delete projects by moving them to trash

lib/java/desktop-environment/src/main/java/org/enso/desktopenvironment/MacTrashBin.java

@@ -13,7 +13,7 @@
 import org.slf4j.LoggerFactory;
 
 @CContext(MacTrashBin.CoreServices.class)
-final class MacTrashBin implements TrashBin {
+final class MacTrashBin extends TrashBinFallback implements TrashBin {
 
   @CFunction
   static native int FSPathMakeRefWithOptions(
@@ -34,11 +34,10 @@ public boolean moveToTrash(Path path) {
         return moveToTrashImpl(path);
       } catch (NullPointerException | LinkageError err) {
         if (!Boolean.getBoolean("com.oracle.graalvm.isaot")) {
-          LoggerFactory.getLogger(MacTrashBin.class)
-              .warn(
-                  "Moving to MacOS's Trash Bin is not supported in non-AOT mode. Deleting"
-                      + " permanently");
-          return path.toFile().delete();
+          var logger = LoggerFactory.getLogger(MacTrashBin.class);
+          logger.warn(
+              "Moving to MacOS's Trash Bin is not supported in non-AOT mode. Deleting permanently");
+          return hardDeletePath(path, logger);
         } else throw err;
       }
     else return false;

lib/java/desktop-environment/src/main/java/org/enso/desktopenvironment/TrashBinFallback.java

@@ -0,0 +1,40 @@
+package org.enso.desktopenvironment;
+
+import java.io.IOException;
+import java.nio.file.Files;
+import java.nio.file.Path;
+import java.util.Comparator;
+import java.util.stream.Collectors;
+import org.slf4j.Logger;
+
+public class TrashBinFallback {
+
+  protected boolean hardDeletePath(Path path, Logger logger) {
+    var rootFile = path.toFile();
+    if (rootFile.isDirectory()) {
+      try {
+        var deletedFiles =
+            Files.walk(path)
+                .sorted(Comparator.reverseOrder())
+                .map(Path::toFile)
+                .map(f -> new FileDeletion(f.getPath(), f.delete()))
+                .filter(d -> !d.deleted())
+                .collect(Collectors.toList());
+        if (rootFile.exists()) {
+          logger.error(
+              "{} root directory failed to delete because of the following path(s):", rootFile);
+          deletedFiles.forEach(d -> logger.error(" - {}", d.filePath()));
+          return false;
+        }
+        return true;
+      } catch (IOException e) {
+        logger.error("Failed to hard delete path [{0}]", new Object[] {path, e});
+        return false;
+      }
+    } else {
+      return path.toFile().delete();
+    }
+  }
+
+  private record FileDeletion(String filePath, boolean deleted) {}
+}

lib/java/desktop-environment/src/main/java/org/enso/desktopenvironment/WindowsTrashBin.java

@@ -15,7 +15,7 @@
 import org.slf4j.LoggerFactory;
 
 @CContext(WindowsTrashBin.ShellApi.class)
-final class WindowsTrashBin implements TrashBin {
+final class WindowsTrashBin extends TrashBinFallback implements TrashBin {
   @CConstant
   public static native int FO_DELETE();
 
@@ -37,11 +37,11 @@ public boolean moveToTrash(Path path) {
         return moveToTrashImpl(path);
       } catch (NullPointerException | LinkageError err) {
         if (!Boolean.getBoolean("com.oracle.graalvm.isaot")) {
-          LoggerFactory.getLogger(MacTrashBin.class)
-              .warn(
-                  "Moving to Windows' Trash Bin is not supported in non-AOT mode. Deleting"
-                      + " permanently");
-          return path.toFile().delete();
+          var logger = LoggerFactory.getLogger(MacTrashBin.class);
+          logger.warn(
+              "Moving to Windows' Trash Bin is not supported in non-AOT mode. Deleting"
+                  + " permanently");
+          return hardDeletePath(path, logger);
         } else throw err;
       }
     else return false;