Aqui nós temos um problema. É que na lista padrão de servidores disponíveis não aparece a versão do JBoss AS que baixamos. Só existe JBoss até a versão 5.
Para podermos configurar o JBoss 7 é preciso baixar um novo server adapter pelo link acima. O Eclipse atualiza a tela com os server adapters disponíveis e logo veremos o JBoss AS Tools. É isso que estamos procurando.
Não tem link :/