implemented AndroidFileHandle#list(FilenameFilter)