java.nio.file.DirectoryStream.Filter