Como renomear um diretório em Java usando o método renameTo() da classe File - Arquivos e diretórios em Java

package arquivodecodigos;

import java.io.*;
 
public class Estudos{
  public static void main(String[] args){
    // diretorio com o nome antigo
    File dir1 = new File("c:\\java");
     
    // diretorio com o novo nome
    File dir2 = new File("c:\\java_novo");
     
    boolean ok = dir1.renameTo(dir2);
    if(ok){
      System.out.println("Diretorio renomeado com sucesso.");
    }
    else{
      System.out.println("Nao foi possivel renomear o diretorio.");
    }
  }
}