Describe how to open a ssl port for Jetty (developer guide)