robofish.io.File.save_as() has to close the file to be able to save it. The file should be reopened or copied in the open state instead.
robofish.io.File.save_as()