[jbossws-users] [JBossWS] - WSDL is correctly modified to use the configured https port