import java.lang.String;

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

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