# HG changeset patch
# User Kostis Kyzirakos <kostis@cwi.nl>
# Date 1399044393 -7200
# Node ID 29644c2e7da2bd89466781ec0a6e032003bfd22a
# Parent  c3eba1e643012402db7375de83bb441cbb358583
updated the version of some dependencies

diff -r c3eba1e64301 -r 29644c2e7da2 pom.xml
--- a/pom.xml	Fri May 02 17:24:54 2014 +0200
+++ b/pom.xml	Fri May 02 17:26:33 2014 +0200
@@ -528,7 +528,7 @@
 				<plugin>
 					<groupId>org.apache.tomcat.maven</groupId>
 					<artifactId>tomcat7-maven-plugin</artifactId>
-					<version>2.0-SNAPSHOT</version>
+					<version>2.2</version>
 				</plugin>
 			</plugins>
 		</pluginManagement>
@@ -550,7 +550,7 @@
 				</configuration> </plugin> -->
 			<plugin>
 				<artifactId>maven-release-plugin</artifactId>
-				<version>2.2.2</version>
+				<version>2.5</version>
 				<configuration>
 					<tagNameFormat>v@{project.version}</tagNameFormat>
 					<autoVersionSubmodules>true</autoVersionSubmodules>