From b08a79e365594e7e7414ea51de8dac42d910873f Mon Sep 17 00:00:00 2001
From: Nelson Tavares de Sousa <ntd@informatik.uni-kiel.de>
Date: Fri, 19 Dec 2014 14:13:43 +0100
Subject: [PATCH] release plugin didn't work

---
 pom.xml | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/pom.xml b/pom.xml
index a5efe0d2..07dff842 100644
--- a/pom.xml
+++ b/pom.xml
@@ -115,12 +115,7 @@
 
 	<build>
 		<plugins>
-			<!-- release plugin -->
-			<plugin>
-				<groupId>org.apache.maven.plugins</groupId>
-				<artifactId>maven-release-plugin</artifactId>
-				<version>2.5.1</version>
-			</plugin>
+			
 			<!-- we want JDK 1.6 source and binary compatibility -->
 			<plugin>
 				<groupId>org.apache.maven.plugins</groupId>