Vaadin 7.1.0支持jetty的server push吗?

发现只有支持tomcat和jboss的jar。

vaadin用的是atmosphere支持各种web容器的各种server push方式。我用的是vaadin7.2,jetty9,可以用。