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