Deleting a file in the EDT IDE