From: Tuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Date: Tue, 14 Aug 2018 10:10:30 +0000 (+0300)
Subject: Include org.eclipse.jetty.servlets in SDK external dependencies
X-Git-Tag: v1.43.0~136^2~411
X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=commitdiff_plain;h=37c463c49793553991a5b4412a7f9cd30d410d49;hp=37c463c49793553991a5b4412a7f9cd30d410d49

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
---