public SimpleFileFilter(String[] exts, String descr)
// Clone and lowercase the extensions
extensions = new String[exts.length];
for (int i = exts.length - 1; i >= 0; i--) {
extensions[i] = exts[i].toLowerCase();
}
// Make sure we have a valid (if simplistic) description
description = (descr == null ? exts[0] + " files" : descr);