add DirectoryStream$Filter

This commit is contained in:
Michiel Borkent 2024-10-10 19:47:49 +02:00
parent 8613ca1e26
commit ce79545b50

View file

@ -394,6 +394,7 @@
java.nio.file.FileVisitOption java.nio.file.FileVisitOption
java.nio.file.FileVisitResult java.nio.file.FileVisitResult
java.nio.file.Files java.nio.file.Files
java.nio.file.DirectoryStream$Filter
java.nio.file.LinkOption java.nio.file.LinkOption
java.nio.file.NoSuchFileException java.nio.file.NoSuchFileException
java.nio.file.Path java.nio.file.Path