Y20250513-1000
Use Path.equals() instead of URI.equals() to compare the URI paths. This will will handle upper/lower-case differences correctly which can arise, e.g. when symlinks are involved. Fixes #2061.
Use Path.equals() instead of URI.equals() to compare the URI paths. This will will handle upper/lower-case differences correctly which can arise, e.g. when symlinks are involved. Fixes #2061.