code: void copyTo(final File destinationFolder) throws IOException {
      for (final File f : this.theFiles) {
        final File destinationFile = new File(destinationFolder, f.getName());
        Files.copy(f.toPath(), destinationFile.toPath(), java.nio.file.StandardCopyOption.REPLACE_EXISTING);
      }
    }
docs: Copies all files in the current FileSet to the given destinationFolder.
  
  @param destinationFolder the folder where the files shall be copied to.
  @throws IOException