THANK YOU Henri!
I modified web.xml so it says like this:
<servlet>
<servlet-name>Borrowbuddy Mobile</servlet-name>
<servlet-class>com.soluvas.borrowbuddy.MobileServlet</servlet-class>
<init-param>
<description>Vaadin application class to start</description>
<param-name>application</param-name>
<param-value>com.soluvas.borrowbuddy.BorrowbuddyMobileApplication</param-value>
</init-param>
<init-param>
<param-name>widgetset</param-name>
<param-value>com.soluvas.borrowbuddy.widgetset.BorrowbuddyWidgetset</param-value>
</init-param>
</servlet>
and it works flawlessly now!
One question is: why the Vaadin Eclipse Plugin didn’t automatically put that in the web.xml when I added the TouchKit add-on ?
Regarding permutation, I don’t set a specific browser, so why does Vaadin only compiles for one browser? (and what browser would it be???) Here’s my widgetset XML:
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE module PUBLIC "-//Google Inc.//DTD Google Web Toolkit 1.7.0//EN" "http://google-web-toolkit.googlecode.com/svn/tags/1.7.0/distro-source/core/src/gwt-module.dtd">
<module>
<inherits name="com.vaadin.terminal.gwt.DefaultWidgetSet" />
<!--
Uncomment the following to compile the widgetset for one browser only.
This can reduce the GWT compilation time significantly when debugging.
The line should be commented out before deployment to production
environments.
Multiple browsers can be specified for GWT 1.7 as a comma separated
list. The supported user agents at the moment of writing were:
ie6,ie8,gecko,gecko1_8,safari,opera
The value gecko is used for Firefox 3 and later, gecko1_8 is for
Firefox 2 and safari is used for webkit based browsers including
Google Chrome.
-->
<!-- <set-property name="user.agent" value="gecko"/> -->
<inherits name="com.vaadin.touchkit.widgetset.TouchKitWidgetset" />
</module>