declare jndi resource in web.xml