[jbossts-issues] [JBoss JIRA] (JBTM-1415) TXFramework: Allow servlet-name to be anything in web.xml