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