Previous versions of JBoss supported the ability to specify multiple servers in the provider URL for JMS-related JNDI lookups performed outside the server container (see http://docs.jboss.org/jbossclustering/cluster_guide/5.1/html-single/index.html#d0e1809). This functionality does not exist in 7.1.0.Final, and should be added to support integration with other legacy systems that expect this behavior.