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

diff --git a/WORKSPACE b/WORKSPACE
index f78a159fb254418b7867ffc9d23f267d7ac9a926..51a815e2fd4d6786ae4920742c804b19c5551aa1 100644 (file)
--- 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 7ae2c21f831691046f16a12ca3c3b714e272cb5e..c486569fa26b1dc500daa4d6bddce6fe6c85f398 100644 (file)
--- 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>