O método file.rename( ) muda o nome de arquivo pelo nome que passou em novoNome e devolve o objeto renomeado File.
O parâmetro novoNome deve cumprir com as regras de denominação (por exemplo, não deve conter caracteres como ":", "/", etc.), do contrário se devolve um erro. Se já existir um arquivo com o mesmo nome, se devolve um erro.
Lembre que o método modifica o nome completo de arquivo, ou seja, se não passar uma extensão em novoNome, o arquivo terá um nome sem uma extensão.
Objeto devolvido
O método devolve o objeto renomeado File.
Se quiser mudar o nome de "ReadMe.txt" por "ReadMe_new.txt":
$toRename:=File("C:\\Documents\\Archives\\ReadMe.txt";fk platform path)
$newName:=$toRename.rename($toRename.name+"_new"+$toRename.extension)