[jbossws-users] [JBossWS] - wstools-config file for multiple port-types in wsdl