Back to jetty 9.1.2, because of bug in jetty