import java.lang.String;

import java.io.File;
import java.io.FilenameFilter;

/**
 * Filter so we only get files ending in ".xml"
 */
class XMLFilenameFilter implements FilenameFilter {
    public boolean accept(File dir, String name) {
        return name.endsWith(".xml");
    }
}