JBoss log: JNDI names