[jboss-dev-forums] [Clustering Development] - HA-JNDI cluster issue