[jdom-interest] Missing Element.setName

[Gabor Greif]

Now I encountered a situation where call in Element.setName
would be the best soulution.

My alternative would be to add a new Element into the parent's contents at
the appropriate index and remove the old named Element from it.

This seem to be a rather heavy-weight solution to a simple problem and I
wonder if ther is a more elegant way to do this?

Should a Element.setName method be added?
Why was Element.setName not considered in first place?

	Thanks,

	Gabor