Como alterar o nome de um arquivo

Cara tenho uma sugestão mas particularmente não sei se é a ideal.

Vamos supor que todos os arquivos que você crie de grafos possuam o nome: “Grafo” seguido do número. Ex: Grafo1.txt, Grafo2.txt e etc…

Fiz um código aqui assim:

File f = new File("c:\\");

      FilenameFilter filter = new FilenameFilter() {
          public boolean accept(File directory, String fileName) {
              return fileName.contains("Grafo");
          }
          };
	
		File [] files = f.listFiles(filter);

Este código irá buscar no diretorio “C:\” todos os arquivos que contenham o termo “Grafo” no seu nome, após isso você verifica o numero de itens retornados no array “files” e grava o novo arquivo com o nome “Grafo” + files.length+1

Pelo seu questionamento, assumo que você já saiba criar arquivo, logo, não fiz essa parte…

// import java.nio.file.Files;
File teste1 = new File("teste1.txt");
File teste2 = new File("outra_coisa1");

Files.move(teste1.toPath(), teste2.toPath());

Tenta assim