[jboss-user] [JNDI and Naming] - Securing HAJNDI