Updated Eclipse Jetty JNDI instructions