1 package org.simantics.utils;
4 import java.io.FilenameFilter;
6 public class ExtensionFilter implements FilenameFilter {
10 public ExtensionFilter(String extension) {
11 this.extension = "." + extension.toLowerCase();
15 public boolean accept(File dir, String name) {
16 return name.toLowerCase().endsWith(extension);