Does HA JNDI use JGroups internally like other HA components do?If not, can it be configured to be TCP only (not multicast)?If yes, where does configuration go?And if such configuration is possible, how would I configure JNDI on the client side?