Update to 3.1.0.M3 of jetty-osgi-servlet-api, and put it back into the source feature.
diff --git a/jetty.bundles.f.source/feature.xml b/jetty.bundles.f.source/feature.xml
index f255f99..d277785 100644
--- a/jetty.bundles.f.source/feature.xml
+++ b/jetty.bundles.f.source/feature.xml
@@ -104,6 +104,14 @@
version="0.0.0"
unpack="false"/-->
+ <plugin
+ id="org.eclipse.jetty.osgi-servlet-api.source"
+ download-size="0"
+ install-size="0"
+ version="0.0.0"
+ unpack="true"/>
+
+
<plugin
id="org.eclipse.jetty.osgi.boot.source"
download-size="0"
diff --git a/pom.xml b/pom.xml
index 4d3c34d..4fb283f 100644
--- a/pom.xml
+++ b/pom.xml
@@ -21,7 +21,7 @@
<tycho-version>0.15.0</tycho-version>
<jetty-version>9.1.0-SNAPSHOT</jetty-version>
- <jetty-osgi-servlet-api-version>3.1.0.M0</jetty-osgi-servlet-api-version>
+ <jetty-osgi-servlet-api-version>3.1.0.M3</jetty-osgi-servlet-api-version>
<jetty-npn-api-version>1.1.0.v20120525</jetty-npn-api-version>
<p2-install-folder-name>development</p2-install-folder-name>
