[jboss-user] [Clustering/JBoss] - Re: JNDI vs. HA-JNDI lookups