Вот из документации JBoss Clustering: java.naming.provider.url Параметр JNDI теперь может принимать список URL, разделенных запятой.Пример:
java.naming.provier.url = сервер1: 1100, сервер2: 1100, сервер3: 1100, сервер4: 1100
При инициализации клиентский код JNP попытается связатьсяс каждым сервером из списка, один за другим, остановка, как только один сервер был достигнут.
Так что установите его на работающий сервер.Я надеюсь, что это помогает.