[jboss-user] [Clustering/JBoss] - Re: HA-JNDI and JNDI for cluster access