[jboss-user] [JBossWS] - Re: Possible bug in handling of wsdl fault names