From da2e977db3ca7b5fbfd5372b71c08ea9b7c7fd0e Mon Sep 17 00:00:00 2001
From: Michael Steindorfer <Michael.Steindorfer@cwi.nl>
Date: Wed, 21 Oct 2015 14:27:49 +0200
Subject: [PATCH] Adding maven-release plugin.

---
 pom.xml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/pom.xml b/pom.xml
index 4ef4e62d5..dc5340dca 100644
--- a/pom.xml
+++ b/pom.xml
@@ -22,6 +22,7 @@
 			<plugin>
 				<groupId>org.apache.maven.plugins</groupId>
 				<artifactId>maven-source-plugin</artifactId>
+				<version>2.4</version>
 				<executions>
 					<execution>
 						<id>attach-sources</id>
@@ -31,6 +32,11 @@
 					</execution>
 				</executions>
 			</plugin>
+			<plugin>
+				<groupId>org.apache.maven.plugins</groupId>
+				<artifactId>maven-release-plugin</artifactId>
+				<version>2.5.3</version>
+			</plugin>	
 		</plugins>
 	</build>