[jdom-interest] Another Element.setName request

philip.nelson at omniresources.com philip.nelson at omniresources.com
Tue Mar 20 10:54:35 PST 2001


> 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.



More information about the jdom-interest mailing list