[jdom-interest] Another Element.setName request

[Uwe_Hale at i2.com]

An XML editor.  Lots of renaming and such.

Uwe Hale


==========
I think the real question has always been, "is there a good enough use case
for adding an element rename to JDOM".  You expressed the difficulty of
renaming.  Why did you need to do it in the first place?  What are you
trying to accomplish?
==========