[jbossts-issues] [JBoss JIRA] (JBTM-1940) Deployment fails if @WebService#portName is missing