[jdom-interest] Missing Element.setName
gabor at no.netopia.com
Mon Jun 26 06:26:41 PDT 2000
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?
More information about the jdom-interest