Is Jetty ever used for production deployment?

Why would it be preferred over Tomcat?

Is your experience with big or little companies? Internal or external (customer/public facing) systems?