RFR: 7531: Update jetty websocket third party

[Suchita Chaturvedi]

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

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

Commit messages:
 - 7531: Update jetty websocket third party

Changes: https://git.openjdk.java.net/jmc/pull/364/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jmc&pr=364&range=00
  Issue: https://bugs.openjdk.java.net/browse/JMC-7531
  Stats: 29 lines in 7 files changed: 0 ins; 0 del; 29 mod
  Patch: https://git.openjdk.java.net/jmc/pull/364.diff
  Fetch: git fetch https://git.openjdk.java.net/jmc pull/364/head:pull/364

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