I would like to configure it for Tomcat. I read the tutorial here: http://community.jboss.org/thread/160572?tstart=0 but the last part says that I have to configure the datasource JNDI so I need to see how is it called from the code to know what lines to add to tomcat server.xml