generated web.xml declares ressource class as servlet class

[Carlo Lupo]

I'm just evaluating RestGWT using
- gwt-Version 2.7.0
- RestGWT 2.2.+
- Eclipse Neon

My test project with just one Jax-RS resource class and client classes compiles well with GWT-compiler. But when running the project with gwt-super-dev, the Jetty container complains that my resource class is not a servlet. Which is quite correct. The problem is: my web.xml is not beeing copied to the generated war path, but instead there is a generated web.xml which declares my class as a servlet:

<servlet>
  <servlet-name>de_gishmo_module0503_server_JerseyPersonService</servlet-name>
  <servlet-class>de.gishmo.module0503.server.JerseyPersonService</servlet-class>
</servlet>

What's going on? Which component is responsible for this? I suppose it is RestyGWT, but as a newbie to GWT I just don't know. What can I do to force the copying of my source web.xml to the WAR directory?