code: private static Element toDom(final org.jdom.Element element) {
          return toDom(element.getDocument()).getDocumentElement();
      }
docs: Convert the received jdom element to an Element.
  
  @param element the element
  @return the org.w3c.dom. element