C:\dirにあるabc.txtのファイル名をxyz.txtに変更したいんですが、
以下のようなコードではうまく行きません。どこが違うのでしょうか。
existsメソッドで元のファイルは存在することを確認できているので、
パス名が違うということはないはずなんですが。

File old_file = new File("C:\\dir\\abc.txt");
File new_file = new File("C:\\dir\\xyz.txt");
old_file.renameTo(new_file)