public File[] listFiles(FilenameFilter filter) {return filenamesToFiles(list(filter));}

public File [ ] listFiles ( FilenameFilter filter ) { return filenamesToFiles ( list ( filter ) ) ; }
public java.io.File[] listFiles(java.io.FilenameFilter filter){return filenamesToFiles(list(filter));}
