Integrated: 7531: Update jetty websocket third party

[Suchita Chaturvedi]

On Tue, 18 Jan 2022 17:06:51 GMT, Suchita Chaturvedi <schaturvedi at openjdk.org> wrote:

> This PR upgrades Jetty websocket third party from 10.0.5 to 10.0.7.

This pull request has now been integrated.

Changeset: 3f9b42d8
Author:    Suchita Chaturvedi <schaturvedi at openjdk.org>
URL:       https://git.openjdk.java.net/jmc/commit/3f9b42d88900ba49ce305ac975dfe602f281b815
Stats:     29 lines in 7 files changed: 0 ins; 0 del; 29 mod

7531: Update jetty websocket third party

Reviewed-by: hirt

-------------

PR: https://git.openjdk.java.net/jmc/pull/364