File filter optimization in SearchableFileFilter.java