[java-sig-commits] [Bug 966352] New: jetty-websocket is not obsoleted