[#1061] Calling close on DirectoryStream fails

This commit is contained in:
Michiel Borkent 2021-11-13 10:44:16 +01:00
parent 321c47297d
commit aaaab5f6eb

View file

@ -94,6 +94,7 @@
java.io.BufferedWriter
java.io.ByteArrayInputStream
java.io.ByteArrayOutputStream
java.io.Closeable
java.io.Console
java.io.File
java.io.FileFilter