BUG-7767: Enlarge jetty.servlets import range