[java-sig-commits] [Bug 1425994] New: jetty-9.4.2.v20170220 is available