update jetty configuration (#6)