Details
-
Improvement
-
Status: Resolved
-
Major
-
Resolution: Fixed
-
None
-
None
-
None
Description
Get rid of the java.io.File usage and switch to java.nio.Path to provide a consistent API.
Currently both are mixed in the code and for new or modified APIs there is always the conflict which one to choose. So we switch to java.nio.Path rigorously where possible.