PrimePush Configuration with EL 3.1

    <!-- Config to enable the PrimePush servlet -->
<servlet>
       <servlet-name>Push Servlet</servlet-name>
       <servlet-class>org.primefaces.push.PushServlet</servlet-class>
       <async-supported>true</async-supported>
       <init-param>
           <param-name>org.atmosphere.useWebSocketAndServlet3</param-name>
           <param-value>true</param-value>
       </init-param>
   </servlet>
   <servlet-mapping>
       <servlet-name>Push Servlet</servlet-name>
       <url-pattern>/primepush/*</url-pattern>
</servlet-mapping>