# HG changeset patch
# User casties
# Date 1476785855 -7200
# Node ID a270b5e73bdaf8c004830c70ee6ff41449929bea
# Parent  a807a99a7e204f43390ea23754da164205cd7d9e
add servlet-api dependency.

diff -r a807a99a7e20 -r a270b5e73bda pom.xml
--- a/pom.xml	Mon Oct 17 19:50:46 2016 +0200
+++ b/pom.xml	Tue Oct 18 12:17:35 2016 +0200
@@ -149,10 +149,16 @@
 		    <groupId>javolution</groupId>
 		    <artifactId>javolution</artifactId>
 		    <version>5.5.1</version>
-		</dependency>	
-            			
-							
-    </dependencies>
+		</dependency>
+
+
+		<dependency>
+			<groupId>javax.servlet</groupId>
+			<artifactId>servlet-api</artifactId>
+			<version>2.5</version>
+			<scope>provided</scope>
+		</dependency>
+	</dependencies>
 	
 	<build>
 		<resources>