using version 8 of Jetty instead of 9, since (th version of runner-jar is built incorrectly