/** Is this the name of an archive file? */ private boolean isArchive(File file) { String n = file.getName().toLowerCase(); return fsInfo.isFile(file) && (n.endsWith(".jar") || n.endsWith(".zip")); }