001package jmri.util; 002 003import java.io.File; 004import java.io.FilenameFilter; 005 006/** 007 * Filter for filenames ending in <em>.xml</em>. 008 * 009 * @author Randall Wood (C) 2013, 2017 010 */ 011public class XmlFilenameFilter implements FilenameFilter { 012 013 @Override 014 public boolean accept(File dir, String name) { 015 return name.toLowerCase().endsWith(".xml"); // NOI18N 016 } 017 018}