[jboss-user] [JBoss Portal] - Using JNDI datasource name in Hibernate