Corrections for JBoss AS