Jenkins — what servlet container? Jetty or Winstone?

• https://wiki.jenkins-ci.org/display/JENKINS/Starting+and+Accessing+Jenkins
• https://en.wikipedia.org/wiki/Web_container — web container AKA servlet container

This document confuses me.