vaadin - Vaadin 7 で ICEPush 0.5.5 を実装

Question

Vaadin 7 プロジェクトに ICEPush アドオンを追加しようとしています。しかし、それを実装する正しい方法が見つかりませんでした。

これを web.xml ファイルに追加しました。

<servlet>
    <servlet-name>ICEPush for Portlets</servlet-name>
    <servlet-class>org.vaadin.artur.icepush.ICEPushServlet</servlet-class>
    <load-on-startup>1</load-on-startup>
</servlet>

<servlet-mapping>
    <servlet-name>ICEPush for Portlets</servlet-name>
    <url-pattern>/*</url-pattern>
</servlet-mapping>

クラスorg.vaadin.artur.icepush.ICEPushServletは利用できないようです。に変更しましたorg.icepush.servlet.ICEpushServlet。

Vaadin 7.0.4 と ICEPush 0.5.5 を使用しています。Vaadin 7 で ICEPush を実装する方法を教えてもらえますか。