CVE-2026-73180: track the WebSocket sessions of an authenticated HTTP session by a key
held in a session attribute rather than the live session id, so they are still closed
when the HTTP session ends after its id has changed (upstream tomcat 9.0.121)