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