[jdom-interest] Another Element.setName request

[philip.nelson at omniresources.com]

> An XML editor.  Lots of renaming and such.

I thought you might say that :-)

Since I've never had a need to do this, I will watch on the sidelines on
this one.