Move a file from one location to another. An attempt is made to rename the file and if that fails, the file is copied and the old file deleted. If the destination file already exists, an exception will be thrown. @param from file which should be moved. @param to desired destination of the file. @
(File from, File to)
source not stored for this graph (policy: none)