[jboss-user] [JNDI and Naming] - Re: Problem in HA_JNDI list.