Funnelback patch 15.24.0.20

Fixes an issue in which Push replication would fail because the client would not renew its authentication token.

lib/java/all/funnelback-api-client-core.jar

web/webapps/funnelback-push-api.war

Stop the Jetty web server.

Deploy the provided files on top of an existing install, backing up all replaced files.

Start the Jetty web server.

(15.24.0.12, 15.24.0.13) Perform an update of knowledge graph on any applicable collections in order to apply patch changes.