Personally, I would prefer it if all core code stuck to using the JDK's standard XML APIs, but I lost that battle long ago.
:-)
In case I have a real chance that my patch will be added to the sources I can make this update. :-]
I was planing to improve plugin system anyway (no API changes).
Stefan
