bom dia
a onde eu faço a alteracao da porta 8443 (padrao jboss 5.1) para a porta 443
eu fiz a alteracao no server.xml mas continua com a porta 8443
giovani