From 5dc5d6071d40161131795fa48b179f76f9b2d778 Mon Sep 17 00:00:00 2001
From: "dependabot-preview[bot]"
 <27856297+dependabot-preview[bot]@users.noreply.github.com>
Date: Mon, 3 Aug 2020 05:35:08 +0000
Subject: [PATCH] Bump jetty-maven-plugin from 9.4.0.v20161208 to
 9.4.31.v20200723

Bumps [jetty-maven-plugin](https://github.com/eclipse/jetty.project) from 9.4.0.v20161208 to 9.4.31.v20200723.
- [Release notes](https://github.com/eclipse/jetty.project/releases)
- [Commits](https://github.com/eclipse/jetty.project/compare/jetty-9.4.0.v20161208...jetty-9.4.31.v20200723)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
---
 echoes-gui/echoes-gui-server/pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/echoes-gui/echoes-gui-server/pom.xml b/echoes-gui/echoes-gui-server/pom.xml
index a4ab50bd..734fd45e 100644
--- a/echoes-gui/echoes-gui-server/pom.xml
+++ b/echoes-gui/echoes-gui-server/pom.xml
@@ -203,7 +203,7 @@
             <plugin>
                 <groupId>org.eclipse.jetty</groupId>
                 <artifactId>jetty-maven-plugin</artifactId>
-                <version>9.4.0.v20161208</version>
+                <version>9.4.31.v20200723</version>
             </plugin>
             <plugin>
                 <groupId>org.apache.maven.plugins</groupId>