[eclipse-sig] [Bug 1678444] jetty-9.4.15.v20190215 is available