Convert Tomcat resource factory configuration to Jetty

I've finally been able to convert http://tomcat.apache.org/tomcat-6.0-doc/jndi-resources-howto.html#Generic_JavaBean_Resources from Tomcat to Jetty.

Here comes a working jetty-env.xml equivalent to tomcat resource definition: