Update to 3.1.0.M3 of jetty-osgi-servlet-api, and put it back into the source feature.