[eclipse-sig] [Bug 1249257] jetty-9.3.2.v20150730 is available