Working around crazy Jetty bug that dealt with failure to set the context path of the request in time when request.contextPath() was called