/**
* Converts a W3C Document into an XML.Doc.
*
* @param w3cDocument the W3C Document
* @return the equivalent XML.Doc
*/
public static ERXML.Doc doc(org.w3c.dom.Document w3cDocument) {
org.w3c.dom.Element w3cElement = w3cDocument.getDocumentElement();
Doc doc = ERXML.doc();
doc.setRoot(ERXML.e(w3cElement));
return doc;
}
