Description: Fixes the compatibility with the version of the Servlet API in Debian
Author: Emmanuel Bourg <ebourg@apache.org>
Forwarded: not-needed
--- a/jetty-ee10/jetty-ee10-servlet/src/main/java/org/eclipse/jetty/ee10/servlet/ServletResponseHttpWrapper.java
+++ b/jetty-ee10/jetty-ee10-servlet/src/main/java/org/eclipse/jetty/ee10/servlet/ServletResponseHttpWrapper.java
@@ -67,7 +67,7 @@
     }
 
     @Override
-    public void sendRedirect(String location) throws IOException
+    public void sendRedirect(String location, int sc, boolean clearBuffer) throws IOException
     {
     }
 
--- a/jetty-ee10/jetty-ee10-servlet/src/main/java/org/eclipse/jetty/ee10/servlet/ServletApiResponse.java
+++ b/jetty-ee10/jetty-ee10-servlet/src/main/java/org/eclipse/jetty/ee10/servlet/ServletApiResponse.java
@@ -167,7 +167,7 @@
     }
 
     @Override
-    public void sendRedirect(String location) throws IOException
+    public void sendRedirect(String location, int sc, boolean clearBuffer) throws IOException
     {
         sendRedirect(HttpServletResponse.SC_MOVED_TEMPORARILY, location);
     }