java.io.File.copyTo() Enhancement.

Name: rf98795 Date: 01/11/2000



Add a new method java.io.File.copyTo() to copy a file, including any and all
metadata. Presently there is no robust way to copy files without writing native
code or using non-standard classes, since all the metadata like the type/creator/
resources will be lost.

======================================================================