Vaadin 7.1.0 and ie10

Good day.

I’m using the latest stable release Vaadin v. 7.1.0 + the latest GWT 2.5.1. When I build a test application I see an exception during gwt compilation stage:

Loading inherited module 'com.XXX.YYY.AppWidgetSet'
   Loading inherited module 'com.vaadin.DefaultWidgetSet'
      Loading inherited module 'com.vaadin.Vaadin'
 The value ie10 was not previously defined.
 Line 64: Unexpected exception while processing element 'set-property' (see previous log entries)

inherits from
, which inherits from
. Starting from Vaadin 7.1.0 that file contains ie10 definition.

<set-property name="user.agent" value="ie8,ie9,ie10,gecko1_8,safari,opera" />

According to google docs, GWT doesn’t support ie10 yet. That’s why the definition
is unknown. So how I can work around that issue?

Thanks in advance,

A suitable version of GWT is included in Vaadin JARs, so you don’t need a separate copy of GWT.

If you have a checkout of the Vaadin 7.1 project rather than the pre-built JARs, it depends on some additions to GWT that are in our fork of GWT but haven’t made it to the official GWT distribution yet. Use the 7.1 branch of instead of mainstream GWT. See also the readme file for the
Vaadin project on GitHub