Correct over-eager Eclipse renaming