Problem parsing a WSDL having XML as the documentation

I have a situation where I have a WSDL with some XML as its service documentation. Also I do not have a default namespace declared. This means that the xml that I have within the documentation is not namespace qualified. Under this situation Woden throws an error when trying to parse the WSDL with the following exception. I've also attached a WSDL that causes this issue. Do we need a null check in DOMXMLElement that cheks this before creating an URI?

Caused by: java.lang.NullPointerException
at java.net.URI$Parser.parse(URI.java:3003)
at java.net.URI.<init>(URI.java:578)
at org.apache.woden.internal.DOMXMLElement.doGetNamespaceURI (DOMXMLElement.java:101)
at org.apache.woden.internal.BaseXMLElement.getNamespaceURI(BaseXMLElement.java:80)
at org.apache.woden.internal.BaseWSDLReader.parseExtensionElement(BaseWSDLReader.java:1532)
at org.apache.woden.internal.BaseWSDLReader.parseDocumentation(BaseWSDLReader.java:472)
at org.apache.woden.internal.BaseWSDLReader.parseInterfaceOperation(BaseWSDLReader.java:798)
at org.apache.woden.internal.BaseWSDLReader.parseInterface (BaseWSDLReader.java:663)
at org.apache.woden.internal.BaseWSDLReader.parseDescription(BaseWSDLReader.java:429)
at org.apache.woden.internal.DOMWSDLReader.readWSDL(DOMWSDLReader.java:184)
at org.apache.woden.internal.DOMWSDLReader.readWSDL(DOMWSDLReader.java:229)
at org.apache.woden.internal.DOMWSDLReader.readWSDL(DOMWSDLReader.java:264)
at org.apache.woden.internal.DOMWSDLReader.readWSDL (DOMWSDLReader.java:126)
at org.apache.axis2.description.WSDL20ToAxisServiceBuilder.readInTheWSDLFile(WSDL20ToAxisServiceBuilder.java:1146)
at org.apache.axis2.description.WSDL20ToAxisServiceBuilder.<init>( WSDL20ToAxisServiceBuilder.java:148)
at org.apache.axis2.description.WSDL20ToAllAxisServicesBuilder.<init>(WSDL20ToAllAxisServicesBuilder.java:54)
at org.apache.axis2.wsdl.codegen.CodeGenerationEngine .<init>(CodeGenerationEngine.java:109)

Thanks,
Keith.