JNDI URL in High Availability Environments

In high availability environments you'll want to specify more than one source for your JNDI provider. How can you do that?

With a simple URL change you can switch from only specifying one provider:

jndiProviderURL = "ormi://localhost/Service"

to a list of nodes which can serve as the provider:

jndiProviderURL = "opmn:ormi://host1:port1:oc4j/Service, opmn:ormi://host2:port2:oc4j/Service"