Copying or moving a file in the EDT IDE