From 924e5457f5b5837475625251e03978e7df6cf213 Mon Sep 17 00:00:00 2001
From: Jesse Glick <jglick@cloudbees.com>
Date: Tue, 12 Nov 2019 22:32:30 -0500
Subject: [PATCH] Add Jetty JARs for WebSocket.

---
 pom.xml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/pom.xml b/pom.xml
index 448f5f2bc..7e736971a 100644
--- a/pom.xml
+++ b/pom.xml
@@ -106,6 +106,16 @@ THE SOFTWARE.
       <groupId>org.eclipse.jetty</groupId>
       <artifactId>jetty-security</artifactId>
       <version>${jetty.version}</version>
+    </dependency>
+     <dependency>
+       <groupId>org.eclipse.jetty.websocket</groupId>
+       <artifactId>websocket-api</artifactId>
+       <version>${jetty.version}</version>
+     </dependency>
+    <dependency>
+      <groupId>org.eclipse.jetty.websocket</groupId>
+      <artifactId>websocket-server</artifactId> <!-- or javax-websocket-server-impl -->
+      <version>${jetty.version}</version>
     </dependency>
     <dependency>
       <groupId>org.hamcrest</groupId>