Java：在文件系统中重命名文件（修剪扩展名）

Question

我正在尝试使用这种方式修剪文件系统中的文件扩展名：

private void passingFileRename(File f) throws Exception 
{
  String filename = f.getName();
  String ext = ".txt";

  File newfile = new File(filename.substring(0, filename.length() - ext.length()));
  f.renameTo(newfile); 
}

但它不起作用，我得到了filename，但renameTo方法似乎被锁定了或者其他东西...... 我做错了什么？

Answer 1

请查看此question。似乎Java的file.renameTo(file)很成问题。