[jdom-interest] getChildren() vs getElements()

[bob]

> I think getChildElements() is too verbose and also redundant.  Of
> course it's a child element; what other kind of element would it
> return?  A parent element?  A cousin? :-)

Unspecified descendants?  (ie, dom's getElementByTagName() or whatever
doesn't do a shallow search, but rather a deep descendant-of-any-flavor
search.)

	-bob