关于文件改名
我想对一个文件进行改名，并对改过名的文件进行操作，可是写的代码有问题，麻烦大虾告知一下应该用怎样的一个思想，用到哪些方法，谢了


String   path1=f2.getPath();
       
String   pathName1=path1.substring(0,   path.lastIndexOf( ". "));
       
if(f2.renameTo(new   File(pathName1+ ".xml ")))
{
       
Postprocess.postprocess(f2);

}
  else   {System.out.println( "error ");}

可是出现的问题是，f2内容为空，请问一下问题在哪？

------解决方案--------------------
String name=f2.getName();
String pathName1 =name.substring(0, path.lastIndexOf( ". "));
File file = new File(f2.getParentFile(),pathName1+ ".xml ");
if(f2.renameTo(file))
{
Postprocess.postprocess(file);
}
else
{
System.out.println( "error ");
}