(File f1, File f2)
| 4758 | } |
| 4759 | |
| 4760 | public static String copyFile(File f1, File f2) { |
| 4761 | return Tools.copyFile(f1.getPath(), f2.getPath()); |
| 4762 | } |
| 4763 | |
| 4764 | // Calls a public static method with an arbitrary number |
| 4765 | // of String parameters, returning a String. |