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)