title: Problem setting up GzipFilter in Jetty
body: <p>I'm trying to setup Jetty to serve compressed html content. In web.xml I setup GzipFilter and mapped it to /* but this doesn't seem to work. Here's the filter configuration:</p>
  
  <pre><code>&lt;filter&gt;
   &lt;filter-name&gt;GZipFilter&lt;/filter-name&gt;
   &lt;display-name&gt;Jetty's GZip Filter&lt;/display-name&gt;
   &lt;description&gt;Filter that zips all the content on-the-fly&lt;/description&gt;
   &lt;filter-class&gt;org.mortbay.servlet.GzipFilter&lt;/filter-class&gt;
   &lt;init-param&gt;
    &lt;param-name&gt;mimeTypes&lt;/param-name&gt;
    &lt;param-value&gt;text/html&lt;/param-value&gt;
   &lt;/init-param&gt;
  &lt;/filter&gt;
  
  &lt;filter-mapping&gt;
   &lt;filter-name&gt;GZipFilter&lt;/filter-name&gt;
   &lt;url-pattern&gt;/*&lt;/url-pattern&gt;
  &lt;/filter-mapping&gt;
  </code></pre>
  
  <p>I'm just starting to use Jetty, so the solution might be ridiculously simple. If you can link me to documentation that might help me, that would be great too.</p>