Hoe wordt SSL in plaats van SSL3 in de Jetty Web Server van Paxata gebruikt?