another jetty8 fixup