revert all changed related to switching jetty versions; back at jetty 9