Mas caso não seja a 8080, você pode descobrir acessando o arquivo server.xml que fica no diretório: \jboss-4.2.3.GA\server\default\deploy\jboss-web.deployer
Abrindo o arquivo server.xml você vai encontrar algo assim:
Você pode rodar ela no twiddle, no jmx-console ou no JMX view (JBoss Developer Studio).
Exemplo com o twiddle:
Pode ser que você precise passar o usuário e senha (parâmetros -u e -p, respectivamente). A porta 1099 é padrão, pode ser que seja outra também.
Apenas complementando: isso somente te dará os projetos web, quanto às páginas não há nada que você possa fazer que não seja olhar o pacote direto no servidor (que também não é nada complicado).
Então o problema é que ainda não me passaram o fonte do “projeto”, e como eles reclamavam que estava muito lento, eu já queria começar os testes mesmo antes de ter o fonte.
Consegui entrar em contato e descobri que o problema era que o projeto estava rodando na porta 8180. xD