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