Jetty and openshift