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