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