Merge "Upversion Jetty to 9.4.22.v20191022"