Update to latest DOMUtil and MiscUtil API. Javadoc improvements.