O JBoss 5.1 EAP é compatível com o JDK 1.7, como pode ser confirmado aqui:
Eu preciso determinar qual versão, se houver, do JBoss Enterprise Edition suporta o JDK7. Não está claro na documentação e nos fóruns da RedHat se há atualmente algum suporte para o JDK7. Eu acredito que o suporte para o JDK6 é certificado a partir do JBoss 5.1.1 Enterprise Edition.
O JBoss 5.1 EAP é compatível com o JDK 1.7, como pode ser confirmado aqui:
Tags java