[jboss-user] [Clustering/JBoss] - HA-JNDI and HA-JMS problem