NXP-15353: set the JNDI manager explicitly to prevent jetty to put randomly its own mortbay manager