From 2a9aaec606d3de63c0cdfd73957e0805b170fdfb Mon Sep 17 00:00:00 2001
From: Paul-Christian Volkmer <paul-christian.volkmer@mni.thm.de>
Date: Wed, 18 Dec 2013 20:21:32 +0100
Subject: [PATCH] Update dependency for servlet api

---
 pom.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index 8d26a1dc2..3c8be02c1 100644
--- a/pom.xml
+++ b/pom.xml
@@ -236,8 +236,8 @@
 		</dependency>
 		<dependency>
 			<groupId>javax.servlet</groupId>
-			<artifactId>servlet-api</artifactId>
-			<version>2.5</version>
+			<artifactId>javax.servlet-api</artifactId>
+			<version>3.0.1</version>
 			<scope>provided</scope>
 		</dependency>
 		<dependency>
-- 
GitLab