//CactusPlugin.log(jspRedirectorURL.getPath());
File jspRedirector = new File(jspRedirectorURL.getPath());
FileSet fileSet = new FileSet();
fileSet.setFile(jspRedirector);
copy.addFileset(fileSet);
copy.execute();
}
/**
* copies files from a directory to another directory
* @param theSourceDir directory to copy files from