[FIX] XQuery, file:copy: preserve capitalization of the target path (improved)

Author: ChristianGruen

basex-core/src/main/java/org/basex/query/func/file/FileCopy.java

@@ -4,6 +4,7 @@
 
 import java.io.*;
 import java.nio.file.*;
+import java.util.*;
 
 import org.basex.core.jobs.*;
 import org.basex.query.*;
@@ -77,14 +78,14 @@ public static void relocate(final Path src, final Path trg, final boolean copy,
       if(copy) {
         Files.copy(src, trg, StandardCopyOption.REPLACE_EXISTING);
       } else {
-        // Windows: preserve capitalization of the target path
-        if(src.getFileName().toString().equalsIgnoreCase(trg.getFileName().toString())) {
-          Path temp = Files.createTempFile(src.getParent(), null, null);
-          Files.move(src, temp, StandardCopyOption.REPLACE_EXISTING);
-          Files.move(temp, trg);
-        } else {
-          Files.move(src, trg, StandardCopyOption.REPLACE_EXISTING);
+        // Windows: preserve capitalization of target path
+        Path path = src;
+        final String s = src.getFileName().toString(), t = trg.getFileName().toString();
+        if(!s.equals(t) && s.equalsIgnoreCase(t)) {
+          path = src.resolveSibling(UUID.randomUUID().toString());
+          Files.move(src, path);
         }
+        Files.move(path, trg, StandardCopyOption.REPLACE_EXISTING);
       }
     }
   }