vaadinPush.debug.js could not be loaded (OSGI)

Hi, I’m having problems with the push support in 7.1. I get the error:

Requested resource [/VAADIN/vaadinPush.debug.js] not found from filesystem or through class loader. Add widgetset and/or theme JAR to your classpath or add files to WebContent/VAADIN folder. I am using OSGi which seems to be cause of the actual problem, but if I add an ‘Export-Package: VAADIN’ to the MANIFEST.MF of the vaadin-push jar, it fixes it, although modfiying a vaadin jar is obviously not ideal. I’m suprised it doesn’t already have this export package in the same way the vaadin themes jar does for it’s VAADIN/themes folders.

Am I doing something wrong?

Many thanks,
Matt