[jbosstools-issues] [JBoss JIRA] Created: (JBIDE-2370) set servlet name to the wsdl porttype name when updating web.xml

set servlet name to the wsdl porttype name when updating web.xml ----------------------------------------------------------------- Key: JBIDE-2370 URL: http://jira.jboss.com/jira/browse/JBIDE-2370 Project: Tools (JBoss Tools) Issue Type: Bug Components: Webservices Reporter: Denny Xu -- This message is automatically generated by JIRA. - If you think it was sent incorrectly contact one of the administrators: http://jira.jboss.com/jira/secure/Administrators.jspa - For more information on JIRA, see: http://www.atlassian.com/software/jira