René Pfeuffer 7f3f47c4c8 Close file lists ...

Though we could not reproduce an error even with real big file
structures (100 directories, containing each another 100 directories
with 100 files each), it may be safer to make sure the streams will
really be closed in the end and recommended in the javadoc description
for Files#list
(https://docs.oracle.com/javase/8/docs/api/java/nio/file/Files.html#list-java.nio.file.Path-)

2020-06-16 11:51:50 +02:00

..

src

Close file lists

2020-06-16 11:51:50 +02:00

pom.xml

prepare for next development iteration

2020-06-04 09:41:11 +00:00