<BUG>package org.eclipse.jetty.servlets;import org.eclipse.jetty.http.gzip.GzipResponseWrapper;</BUG><CONTEXT><extra_id_0>import org.eclipse.jetty.servlet.DefaultServlet;import org.eclipse.jetty.servlet.FilterHolder;import org.eclipse.jetty.servlets.gzip.GzipTester;</CONTEXT>
import java.io.IOException;import javax.servlet.ServletException;import javax.servlet.http.HttpServlet;import javax.servlet.http.HttpServletRequest;import javax.servlet.http.HttpServletResponse;import org.eclipse.jetty.http.HttpStatus;import org.eclipse.jetty.http.gzip.GzipResponseWrapper;