From 1bd0602c9f2f45259ab1afb278295e82984407c7 Mon Sep 17 00:00:00 2001
From: Greg Wilkins <gregw@webtide.com>
Date: Wed, 2 Dec 2015 12:57:54 +1100
Subject: [PATCH] 483413 - Warn on @Deprecated servlet/filter use

---
 .../main/java/org/eclipse/jetty/servlets/GzipFilter.java    | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/jetty-servlets/src/main/java/org/eclipse/jetty/servlets/GzipFilter.java b/jetty-servlets/src/main/java/org/eclipse/jetty/servlets/GzipFilter.java
index 9b7faf7e519..0969eca2cff 100644
--- a/jetty-servlets/src/main/java/org/eclipse/jetty/servlets/GzipFilter.java
+++ b/jetty-servlets/src/main/java/org/eclipse/jetty/servlets/GzipFilter.java
@@ -27,6 +27,9 @@ import javax.servlet.ServletException;
 import javax.servlet.ServletRequest;
 import javax.servlet.ServletResponse;
 
+import org.eclipse.jetty.util.log.Log;
+import org.eclipse.jetty.util.log.Logger;
+
 /* ------------------------------------------------------------ */
 /** 
  */
@@ -34,9 +37,12 @@ import javax.servlet.ServletResponse;
 @Deprecated
 public class GzipFilter implements Filter
 {
+    private static final Logger LOG = Log.getLogger(GzipFilter.class);
+
     @Override
     public void init(FilterConfig filterConfig) throws ServletException
     {        
+        LOG.warn("GzipFilter is deprecated. Use GzipHandler");
     }
 
     @Override