aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--WORKSPACE4
-rw-r--r--pom.xml2
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>