title: Is Jetty ever used for production deployment?
body: <p>Why would it be preferred over Tomcat?</p>
  
  <p>Is your experience with big or little companies?  Internal or external (customer/public facing) systems?</p>