Libraries anvil io File renameTo

boolean renameTo(string newName)
boolean renameTo(File newName)
Renames the file.
Returns true if and only if the renaming succeeded; false otherwise