[jdom-interest] Another Element.setName request

[philip.nelson at omniresources.com]

> I read through the list archives and the arguments for making 
> the element
> name immutable.  "An Element with a different name is a different
> Element..." or something like that.
> 
> I've created a clone, gotten a list from the parent, found 
> the index of the
> element, removed it from the list, and inserted the clone at the same
> index.  Long way around simply renaming something but that works.

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?