Define a version to avoid compilation problems (#9528)

diff --git a/build/ide.xml b/build/ide.xml
index 6d710b66cb5a45ee4b00c743321e13dd205c90cc..f2b321422777ae0f497171b06e4a080c38bbe0d0 100755 (executable)
--- a/build/ide.xml
+++ b/build/ide.xml
@@ -7,6 +7,7 @@
        <property name="gwt.lib.dir" location="${gwt.root}/build/lib" />
        <property name="gwt.user.jar" location="${gwt.lib.dir}/gwt-user.jar" />
        <property name="gwt.dev.jar" location="${gwt.lib.dir}/gwt-dev.jar" />
+       <property name="theme-version" location="9.9.9.INTERNAL-DEBUG-BUILD" />
        <echo>Using gwt-dev.jar from ${gwt.dev.jar}</echo>
 
        <ivy:cachepath pathid="ivy.deps" inline="true" organisation="javax.validation" module="validation-api" revision="1.0.0.GA" conf="default,sources" />
@@ -50,6 +51,8 @@
                        <jvmarg value="-Djava.awt.headless=true" />
                        <arg value="--theme" />
                        <arg value="${theme}" />
+                       <arg value="--theme-version" />
+                       <arg value="${theme-version}" />
                        <arg value="--theme-folder" />
                        <arg value="WebContent/VAADIN/themes" />
                </java>