[eclipse-sig] [Bug 1699395] New: jetty-9.4.16.v20190411 is available