Generated by
JDiff

Interface java.io.FilenameFilter

Documentation changed from old to new.