[jdom-interest] Additional functionality for class org.jdom.filter.ElementFilter?

[Bradley S. Huffman]

Michael Kordt writes:

> So if these possibilities of retrieving filtering criteria really do not exis
> t 
> in the current JDOM release, I'd like to suggest adding them in the next rele
> ase 
> (probably JDOM 1.1?) - this would be a small but convenient enhancement to an
>  
> already very comfortable and easy-to-use API for processing XML documents.

So your suggesting getName(), setName(), getNamespace(), setNamespace(). Hmmm
ContentFilter has getters and setters, it seems reasonable that other filters
should too.

Brad