Document JNDI resource configuration