[JBoss] tiny changes