Small app showing jetty JNDI bug