[jboss-user] [JNDI and Naming] - JNDI over HTTPS