Configuração do Java No JBOSS

Gostaria de saber qual SDK o JBOSS esta usando? Qual é o arquivo .xml que fala do java a ser executado? Onde fica a configuração sobre o java no JBOSS?

o jboss usa a jre que estiver na variavel JAVA_HOME…
que eu sei não existe .xml para setar outra jre no jboss

o que tu poderia fazer é mudar o run.bat para ele setar o JAVA_HOME com outra jre…
assim o jboss iria utilizar utilizar outra jre, mas quando o pc fosse restartado voltaria o JAVA_HOME original…