jetty9.1.0.v20131115+jetty-base

I think that this is good. Take a look at this when you have the chance and let me know if you see something strange.