enable jndi datasource in Jetty