--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/software/eXist/mpdl-modules/src/de/mpg/mpiwg/berlin/mpdl/util/FilenameFilterExtension.java	Wed Nov 24 17:24:23 2010 +0100
@@ -0,0 +1,22 @@
+package de.mpg.mpiwg.berlin.mpdl.util;
+
+import java.io.File;
+import java.io.FilenameFilter;
+
+public class FilenameFilterExtension implements FilenameFilter {
+  
+  private String fileExtension;
+
+  public FilenameFilterExtension(String fileExtension) {
+    this.fileExtension = fileExtension;
+  }
+
+  public boolean accept(File dir, String name) {
+    String nameToLower = name.toLowerCase();
+    String fileExtensionToLower = fileExtension.toLowerCase();
+    return nameToLower.endsWith("." + fileExtensionToLower);
+    // MimeTable mimetab = MimeTable.getInstance();
+    // MimeType mime = mimetab.getContentTypeFor(name);
+    // return mime != null && mime.isXMLType();
+  }
+}