Renaming a file in the EDT IDE