Update JDomExtension.java