From 107170adf84844744d55d1b9ccadffed988905d4 Mon Sep 17 00:00:00 2001
From: Simone Bordet <simone.bordet@gmail.com>
Date: Mon, 4 Feb 2019 22:55:21 +0100
Subject: [PATCH] Issue #3162 - Use Jetty specific Servlet API jar.

Updated to jetty-servlet-api:4.0.2, based on jakarta.servlet 4.0.2.

Signed-off-by: Simone Bordet <simone.bordet@gmail.com>
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index de2da048293..fb30a10e6f2 100644
--- a/pom.xml
+++ b/pom.xml
@@ -25,7 +25,7 @@
     <logback.version>1.3.0-alpha4</logback.version>
     <spring-version>5.1.1.RELEASE</spring-version>
     <jetty-test-policy.version>1.2</jetty-test-policy.version>
-    <servlet.api.version>4.0.1</servlet.api.version>
+    <servlet.api.version>4.0.2</servlet.api.version>
     <jsp.version>9.0.14.1</jsp.version>
     <!-- default values are unsupported, but required to be defined for reactor sanity reasons -->
     <alpn.version>undefined</alpn.version>