public void copy(Path destroot) {
		Path from = source.getFile();
		Path to = to(destroot);
		Util.verboseMsg("Copying " + from + " to " + to);
		try {
			if (!to.toFile().getParentFile().exists()) {
				to.toFile().getParentFile().mkdirs();
			}
			Files.copy(from, to, StandardCopyOption.REPLACE_EXISTING);
		} catch (IOException ioe) {
			throw new ExitException(EXIT_UNEXPECTED_STATE, "Could not copy " + from + " to " + to, ioe);
		}
	}
This class models a source-target relationship where the source is a
ResourceRef and the target is a simple Path. This is used for things like the
//FILES target=source directives in scripts and templates.
src/main/java/dev/jbang/source/RefTarget.java