/* 137 */ if (prefix.length() > 0)
/* */ {
/* 139 */ String nsURI = deName.getURI();
/* 140 */ String attrValue = deElement.getAttribute("xmlns:" + prefix);
/* 141 */ if ((nsURI.length() > 0) && (attrValue.length() == 0)) {
/* 142 */ deElement.addNamespaceDeclaration(prefix, nsURI);
/* */ }
/* */ }
/* 145 */ Source xmlFragment = new DOMSource(deElement);
/* 146 */ DeserializerSupport des = desFactory.getDeserializer();
/* 147 */ Object userEx = des.deserialize(xmlName, xmlType, xmlFragment, serContext);