How to Use SSL instead of SSL3 in Paxata's Jetty Web Server?