Fix JNDI name not found on Jetty due to https://jira.springsource.org/browse/SPR-4585