From a615cc86be6bd97630340345f6989fc0a9020eea Mon Sep 17 00:00:00 2001
From: Jan Bartel <janb@webtide.com>
Date: Fri, 6 Oct 2017 09:36:14 +1100
Subject: [PATCH] Update jetty-schemas to 4.0.

---
 jetty-home/pom.xml                              | 2 +-
 jetty-server/src/main/config/modules/server.mod | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/jetty-home/pom.xml b/jetty-home/pom.xml
index 305a607eafc..642f26fd657 100644
--- a/jetty-home/pom.xml
+++ b/jetty-home/pom.xml
@@ -222,7 +222,7 @@
                   <version>${servlet.schema.version}</version>
                   <overWrite>true</overWrite>
                   <outputDirectory>${assembly-directory}/lib</outputDirectory>
-                  <destFileName>jetty-schemas-3.1.jar</destFileName>
+                  <destFileName>jetty-schemas-4.0.jar</destFileName>
                 </artifactItem>
               </artifactItems>
             </configuration>
diff --git a/jetty-server/src/main/config/modules/server.mod b/jetty-server/src/main/config/modules/server.mod
index e16914cdddd..ab6a99c2e97 100644
--- a/jetty-server/src/main/config/modules/server.mod
+++ b/jetty-server/src/main/config/modules/server.mod
@@ -9,7 +9,7 @@ logging
 
 [lib]
 lib/servlet-api-4.0.jar
-lib/jetty-schemas-3.1.jar
+lib/jetty-schemas-4.0.jar
 lib/jetty-http-${jetty.version}.jar
 lib/jetty-server-${jetty.version}.jar
 lib/jetty-xml-${jetty.version}.jar