How to get IcePush to work with Vaadin?

I am getti开发者_StackOverflow中文版ng java.lang.UnsatisfiedLinkError while trying to get IcePush client up and running. GWTPushContext.getInstance() throws the error when it is at the initialization method of the IcePush listener.

The method should be called in correct context I suppose. What all files / packages need to be present so that I am able to make this call?

I have widget-set initialization xml and the service is mentioned in web.xml.

To get Vaadin and IcePush to work in Liferay/Glassfish environment with Eclipse tool, you need at least the following:
a) Eclipse needs Vaadin toolkit
b) Follow this tutorial, the last post from Mark
c) The demo project there has some imports wrong and some depregated code. Those can be fixed with Eclipse suggestions and some use of Google. Also you need to add portal-service-6.0.2.jar and portlet-api-2.0.jar to get the imports ok.
d) For Vaadin you need also vaadin-6.5.6.jar

There may be some other corrections needed to the project setup, but those can be asked via comments to this post. I follow this forum daily and am pleased to answer questions.