From 37c463c49793553991a5b4412a7f9cd30d410d49 Mon Sep 17 00:00:00 2001
From: Tuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Date: Tue, 14 Aug 2018 13:10:30 +0300
Subject: [PATCH] Include org.eclipse.jetty.servlets in SDK external
 dependencies

This takes version 9.4.5.v20170502 which is the same as the Jetty
plug-ins provided by Eclipse RCP SDK the current SDK uses.

gitlab #81

Change-Id: Idb2f93f0d79fe3656fc745860d8e6ccce1bb1d1e
---
 releng/org.simantics.sdk.build.p2.site/pom.xml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/releng/org.simantics.sdk.build.p2.site/pom.xml b/releng/org.simantics.sdk.build.p2.site/pom.xml
index 190c95de5..db4e9b9e3 100644
--- a/releng/org.simantics.sdk.build.p2.site/pom.xml
+++ b/releng/org.simantics.sdk.build.p2.site/pom.xml
@@ -463,6 +463,10 @@
                                     <id>org.jsoup:jsoup:1.8.3</id>
                                     <source>true</source>
                                 </artifact>
+                                <artifact>
+                                    <id>org.eclipse.jetty:jetty-servlets:9.4.5.v20170502</id>
+                                    <source>true</source>
+                                </artifact>
                             </artifacts>
                         </configuration>
                     </execution>
-- 
2.43.2