revert all changed related to switching jetty versions; back at jetty 9 (goes back to commit 876a7c44521adee2e7fa4eacc73e2ddf74a7e67b)