Renomear arquivo em java

Pessoal, to dando manutenção em um sistem que gerar um arquivo TXT da seguinte forma:

Writer arquivo = new FileWriter("file");

Eu preciso gerar esse arquivo com a extensão “file.tmp”

E logo após, renomear esse arquivo para “file.txt”

Procurei no google mas não achei nehuma dica.

Alguém pode me dar umas dicas pra resolver esse problema ?

Obrigado!

File.renameTo

Depois de gerar o arquivo, e apos fechar o Stream.
chame:

  new File("velhoNome.tmp").renameTo(new File("novoNome.txt"));

Tenta dessa forma.

try { File fTmp = new File("c:\file.tmp"); File fTxt = new File("c:\file.txt"); fTxt.createNewFile(); Writer arquivo = new FileWriter(fTmp); fTmp.renameTo(fTxt); } catch (IOException e) { // TODO Auto-generated catch block e.printStackTrace(); }