Convert dom4j element to w3c element

The conversion code should look something like this:<code>*/** * Convert dom4j element to w3c element **/public org.w3c.Element convert( org.dom4j.Element element) {  org.dom4j.Document doc1 = DocumentHelper.createDocument();  doc1.setRootElement( element);  // Convert dom4j document to w3c document  DOMWriter writer = new DOMWriter();  org.w3c.Document doc2 = writer.write( doc1);  return doc2.getDocumentElement() ;}/** * Convert w3c element to dom4j element **/public org.dom4j.Element convert( org.w3c.Element element) {  DocumentBuilderFactory factory = DocumentBuilderFactory.newInstance();  DocumentBuilder builder = factory.newDocumentBuilder();  org.w3c.Document doc1 = builder.newDocument();  doc1.appendChild( element);     // Convert w3c document to dom4j document  DOMReader reader = new DOMReader();  org.dom4j.Document doc2 = reader.read( doc1);  return doc2.getRootElement();}</code>*Code not tested.