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

Author: ChristianGruen

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

@@ -77,7 +77,14 @@ public static void relocate(final Path src, final Path trg, final boolean copy,
       if(copy) {
         Files.copy(src, trg, StandardCopyOption.REPLACE_EXISTING);
       } else {
-        Files.move(src, trg, StandardCopyOption.REPLACE_EXISTING);
+        // 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);
+        }
       }
     }
   }