jetty8 runtime bug fixes