[eclipse-sig] [Bug 1271423] jetty-9.3.5.v20151012 is available