[jdom-interest] Patch: Element.getChildren(Namespace)

[bob mcwhirter]

> > I admit that getChildren(Namespace) will only save you two lines of typing,
> > but it seems to me that those two lines will be written many times.
> 
> Anyone else believe they would find this useful?

Well, me being me, I can see it useful for certain xpath
optimizations, should we actually ever try to build an
optimizing xpath 'compiler'.

	a/b/c[namespace-uri() = "http://www.fnord.org/"]

Admittedly, that's a stretch.

	-bob