Details
Description
The "Zip File System Provider" tech note [technotes/guides/io/fsp/zipfilesystemprovider.html in the Java 7 Javadoc] is not up-to-date. It assumes a Path.copyTo(Path) API that does not exist -- the API in question is in the Files class.