add another constructor for ServletHolder that was missing from merge, well that I mistakenly removed during the merge

jetty-servlet/src/main/java/org/eclipse/jetty/servlet/ServletHolder.java

@@ -113,6 +113,16 @@ public class ServletHolder extends Holder<Servlet> implements UserIdentity.Scope
         setHeldClass(servlet);
     }
     
+    /* ---------------------------------------------------------------- */
+    /** Constructor for servlet class.
+     */
+    public ServletHolder(String name, Servlet servlet)
+    {
+        super (Source.EMBEDDED);
+        setName(name);
+        setServlet(servlet);
+    }
+    
     /* ---------------------------------------------------------------- */
     /** Constructor for servlet class.
      */