Hi Gunnar, unfortunately we really found this bug during development of our app. We used Paths as keys to a HashMap and then weren't able to find them because cloned Path had the buggy hashCode.
The fix is easy, I will prepare it and try to send a first pull request in my life
Jiri