From 1e932c2e5289e965dea0314b230b6d3d94ea3bdb Mon Sep 17 00:00:00 2001
From: Matthias Sohn <matthias.sohn@sap.com>
Date: Wed, 12 Jan 2022 18:37:02 +0100
Subject: [PATCH] Complete update to servlet api 4.0.0

Ibd0240cf7ad updated servlet-api to 4.0.0 only partially for the
osgi-based build in Eclipse.

Complete this by updating dependencies also in maven and bazel build.

Change-Id: Ic4c3eb78c538007ca2177f6109d415147e58eabe
---
 WORKSPACE | 4 ++--
 pom.xml   | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/WORKSPACE b/WORKSPACE
index f78a159fb2..51a815e2fd 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -171,8 +171,8 @@ maven_jar(
 
 maven_jar(
     name = "servlet-api",
-    artifact = "javax.servlet:javax.servlet-api:3.1.0",
-    sha1 = "3cd63d075497751784b2fa84be59432f4905bf7c",
+    artifact = "javax.servlet:javax.servlet-api:4.0.0",
+    sha1 = "60200affc2fe0165136ed3690faf00b66aed581a",
 )
 
 maven_jar(
diff --git a/pom.xml b/pom.xml
index 7ae2c21f83..c486569fa2 100644
--- a/pom.xml
+++ b/pom.xml
@@ -161,7 +161,7 @@
     <args4j-version>2.33</args4j-version>
     <commons-compress-version>1.21</commons-compress-version>
     <osgi-core-version>4.3.1</osgi-core-version>
-    <servlet-api-version>3.1.0</servlet-api-version>
+    <servlet-api-version>4.0.0</servlet-api-version>
     <jetty-version>10.0.6</jetty-version>
     <japicmp-version>0.15.3</japicmp-version>
     <httpclient-version>4.5.13</httpclient-version>
-- 
2.39.5