Credo che scaricherò una versione più aggiornata di JBoss (o magari Tomcat stesso).
Grazie per avermi fatto capire il problema.