A JNDI datasource for MongoDB