Per modificare la porta del servlet-container (Tomcat) utilizzato da JBOSS, bisogna agire sul file jboss-4.0.5.GAserverdefaultdeployjbossweb-tomcat55.sarserver.xml. Se jboss viene configurato per l’utilizzo di un’altra versione di Tomcat (qui la 5.5) cambieranno gli utlimi 2 numeri del .sar.