simplify jetty configuration; run on port 443; redirect from 80