xsd dumpname