尽管Java提供了java.io.File这样一个操作文件的类，但并没有提供一个复制文件的方法。