[java-sig-commits] [Bug 1403205] jetty-9.4.0.v20161208 is available