document auto-config JNDI names