Remove PushFilter deprecated in RF 4.1 -------------------------------------- Key: RF-13561 URL: https://issues.jboss.org/browse/RF-13561 Project: RichFaces Issue Type: Task Security Level: Public(Everyone can see) Components: component-push/poll Affects Versions: 5.0.0.Alpha3 Reporter: Lukáš Fryč {code} private void logPushFilterWarning(ServletContext servletContext) { String message; if (servletContext.getMajorVersion() >= 3) { message = "PushFilter has been deprecated, you can remove its declaration in Servlets 3 environment"; } else { message = "PushFilter has been deprecated, you should use PushServlet instead"; } LOGGER.warn(message); } {code}