More work towards a formal jetty module suitable for start.jar