}
}
public FileSet getFileSet(File f) throws IOException {
if (f.getName().endsWith(".class")) {
return new SingleFile(f);
} else if (f.isDirectory()) {
return new Folder(f);
} else if (f.getName().endsWith(".zip") || f.getName().endsWith(".jar")) {
return new Archive(f);
} else {