Working rederict from HTTP to HTTPS, and updated to Jetty 9