https://wp.jochen.hayek.name/blog-en/2016/02/12/jenkins-what-servlet-container-jetty-or-winstone/