Move to use 7.1 push (and push example to notifications), Jetty version to 7 to allow this.