Make DevelopmentServerLauncher work again

Change-Id: I2014aa3f491cb18a81de15ac992faddfa4762ac8

diff --git a/uitest/pom.xml b/uitest/pom.xml
index 1afa5929741b6acdca722f4876565a0892b3be96..63e1f92a429d8e6602b9fc16e0bc79e6ed91a88f 100644 (file)
--- a/uitest/pom.xml
+++ b/uitest/pom.xml
@@ -169,8 +169,10 @@
 
                <!-- Servlet API -->
                <dependency>
+                       <!--  Jetty requires 3.1.0 -->
                        <groupId>javax.servlet</groupId>
                        <artifactId>javax.servlet-api</artifactId>
+                       <version>3.1.0</version>
                        <scope>provided</scope>
                </dependency>