Vaadin uses wrong resource path as OSGi servlet

Question

I have deployed a simple Vaadin application into Apache Karaf as described here. Now when checking http:list the resource servlets and my own servlet are available: