[jboss-user] [JNDI and Naming] - spring 3.x + jboss 7.1.1: how to get the datasource from jndi