From 1a1d03125c9db77ccc49c5f432734e2339bc860c Mon Sep 17 00:00:00 2001
From: Artur Signell <artur@vaadin.com>
Date: Fri, 19 Aug 2016 16:59:48 +0300
Subject: [PATCH] Make DevelopmentServerLauncher work again

Change-Id: I2014aa3f491cb18a81de15ac992faddfa4762ac8
---
 uitest/pom.xml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/uitest/pom.xml b/uitest/pom.xml
index 1afa592974..63e1f92a42 100644
--- 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>
 
-- 
2.39.5