Fixed minor bug in PrimeFaces push where push servlet was starting up soon enough, so added load-on-startup to web.xml for push servlet