Yes. I did.
It does not work in all cases. I have not yet found out in which general cases it does not work properly otherwise I would have made a posting about this earlier.Some simpler renaming problems where tackled properly I remember, but I had a problem with a method called from many different beans.
a) Use the undo function
b) Go back to an earlier Version from your version control system
Juergen