Some extra utilities for JNDI on Jetty