protected void copy(String targetDir,FileList files,String baseDir){
  File target=new File(targetDir);
  File base=new File(baseDir);
  println("Copying " + files.size() + " files to "+ target.getPath());
  String basePath=base.getPath();
  for (  File f : files) {
    File t=new File(target,removeBase(basePath,f.getPath()));
    byte[] data=readFile(f);
    mkdirs(t.getParentFile());
    writeFile(t,data);
  }
}

protected void copy ( String targetDir , FileList files , String baseDir ) { File target = new File ( targetDir ) ; File base = new File ( baseDir ) ; println ( "Copying " + files . size ( ) + " files to " + target . getPath ( ) ) ; String basePath = base . getPath ( ) ; for ( File f : files ) { File t = new File ( target , removeBase ( basePath , f . getPath ( ) ) ) ; byte [ ] data = readFile ( f ) ; mkdirs ( t . getParentFile ( ) ) ; writeFile ( t , data ) ; } }
copy files to the specified target directory .
