Funnelback patch 14.2.3.12

Fixes a concurrency issue with Push when used in meta collections.

Reduces the time Push commits are delayed when Push is used in a meta collection.

lib/java/all/funnelback-collection-update.jar, lib/java/all/funnelback-common.jar, lib/java/all/funnelback-push-api-client.jar, lib/java/all/funnelback-push-core.jar and web/webapps/funnelback-push-api.war Contains the fix for Push when used in a meta collections.

Stop the Jetty web server.

Deploy the provided files on top of an existing install.

Start the Jetty web server.

As patches are cumulative, apply deployment instructions from previous patches.