file.getName().endsWith(".pdl");
file.getName().endsWith(extension);
                    public boolean accept(File file) {                        return file.isDirectory() ||                            file.getName().endsWith(".pdl");                    }