This changes the list of kept open files from "File" to "Path" because File.toPath() can lead to UnsupportOperationException in some cases.
Additionally this enhances output and JavaDoc in a few places.
Fixes #160
Testing done
Existing tests run fine and added some more tests
Using a local build for running a number of applications
### Submitter checklist
- [x] Make sure you are opening from a **topic/feature/bugfix branch** (right side) and not your main branch!
- [x] Ensure that the pull request title represents the desired changelog entry
- [x] Please describe what you did
- [x] Link to relevant issues in GitHub or Jira
- [x] Link to relevant pull requests, esp. upstream and downstream changes
- [x] Ensure you have provided tests - that demonstrates feature works or fixes the issue
This changes the list of kept open files from "File" to "Path" because File.toPath() can lead to UnsupportOperationException in some cases.
Additionally this enhances output and JavaDoc in a few places.
Fixes #160
Testing done