[java-sig-commits] [Bug 1719748] jetty-12.0.4 is available