Estou migrando meu projeto para o JBoss AS 7 e li um pouco sobre seus módulos. Meu problema é simples (eu acho), não tenho idéia de como incluir esses módulos durante a fase de desenvolvimento. Por exemplo, eu uso o hibernate, e dentro do Eclipse, com o JBoss Tools e o JBoss AS 6, eu só preciso dizer que o projeto usará o JBoss 7 e todos os seus "jars" estarão disponíveis. Mas usando o JBoss 7, o hibernate-core não está disponível para mim. Eu sei que tenho uma opção para adicionar o hibernate-core como "fornecido" no meu pom, mas há outra maneira?