vaadin dasshboard example  7.2 using embeded jetty 9.1 with push