fix: remove temp directory and file on jvm exit

Author: FedericoPonzi

src/main/java/me/fponzi/tlaplusformatter/SANYWrapper.java

@@ -35,7 +35,9 @@ public static TreeNode load(File file) throws IOException, SanyFrontendException
 
         // Set a unique tmpdir to avoid race-condition in SANY
         // TODO: RM once https://github.com/tlaplus/tlaplus/issues/688 is fixed
-        System.setProperty("java.io.tmpdir", sanyTempDir().toString());
+        var tmpDir = sanyTempDir();
+        tmpDir.deleteOnExit();
+        System.setProperty("java.io.tmpdir", tmpDir.toString());
 
         var specObj = new SpecObj(file.getAbsolutePath(), filenameResolver);
         loadSpecObject(specObj, file, errBuf);

src/main/java/me/fponzi/tlaplusformatter/TLAPlusFormatter.java

@@ -115,12 +115,13 @@ private void verifyAstPreservation() throws IOException {
      */
     private static File storeForVerification(String content, File originalSpec) throws IOException {
         File parentDir = originalSpec.getAbsoluteFile().getParentFile();
-        File tmpDir = java.nio.file.Files.createTempDirectory("sany-verify").toFile();
+        File tmpDir = Files.createTempDirectory("sany-verify").toFile();
+        tmpDir.deleteOnExit();
         // Copy sibling .tla files so SANY can resolve EXTENDS
         File[] siblings = parentDir.listFiles((dir, name) -> name.endsWith(".tla"));
         if (siblings != null) {
             for (File sibling : siblings) {
-                java.nio.file.Files.copy(
+                Files.copy(
                         sibling.toPath(),
                         new File(tmpDir, sibling.getName()).toPath(),
                         java.nio.file.StandardCopyOption.REPLACE_EXISTING);
@@ -154,6 +155,8 @@ private static File storeToTmp(String spec) throws IOException {
         try (java.io.FileWriter writer = new java.io.FileWriter(tmpFile, StandardCharsets.UTF_8)) {
             writer.write(spec);
         }
+        tmpFile.deleteOnExit();
+        tmpFolder.deleteOnExit();
         return tmpFile;
     }