tree 015323f1a25719ea0258c6408da5c0c2a7f8ce11
parent 59e456372f96b85a7f1a012f607edfc6b8f459bc
author Stefan Bodewig <bodewig@apache.org> 1677756668 +0100
committer Stefan Bodewig <bodewig@apache.org> 1677756869 +0100

properly handle File.list() returning null