[tor-commits] [metrics-base/master] Add missing Jetty servlets dependency.