corrected name of servlet.properties JNDI resource