Shared-deps for Vaadin 7.2 +

I have an OSGi setup with 7.1.9 and the shared-deps bundle 1.02 running succesfully with push.

It appears that the shared deps approach has been dropped and seperate bundles used instead.

When using Vaadin 7.2.4 I get the following error:
java.lang.NoClassDefFoundError: com/vaadin/server/VaadinServlet
at java.lang.ClassLoader.defineClass1(Native Method)
at java.lang.ClassLoader.defineClass(Unknown Source)

I have the following bundles as dependencies from the 7,2,4 distribution
com.google.gwt.thirdparty.guava
com.google.gwt.thirdparty.streamhtmlparser
org.apache.commons.io
org.w3c.flute
org.json

Can any one suggest what else is necesssary to avoid the “NoClassDefFoundError: com/vaadin/server/VaadinServlet” problem.

I found some vague comments on the net related to this “VaadinServlet not found problem” and it was suggested that missing dependencies were probably the cause.

um, that class is in vaadin-server-7.2.4.jar…

Yes, I Know that and it is being found without a problem when using 7.1.9
There is something changed when spitting the shared deps into seperate bundles under 7.2.4