# HG changeset patch
# User Babis Nikolaou <charnik@di.uoa.gr>
# Date 1426097751 -7200
# Node ID 756ac22eef7bbb628897d0bdf52943903c0750fa
# Parent  6e37f3f787ae10f95f3a437583a5d1f835a56fe3
removed javadoc plugin which caused the release to fail (will fix it afterwards)

diff -r 6e37f3f787ae -r 756ac22eef7b pom.xml
--- a/pom.xml	Wed Mar 11 20:14:05 2015 +0200
+++ b/pom.xml	Wed Mar 11 20:15:51 2015 +0200
@@ -803,6 +803,7 @@
 
 	<reporting>
 		<plugins>
+			<!--
 			<plugin>
 				<groupId>org.apache.maven.plugins</groupId>
 				<artifactId>maven-javadoc-plugin</artifactId>
@@ -812,7 +813,7 @@
 					<encoding>utf8</encoding>
 				</configuration>
 			</plugin>
-
+			-->
 			<!--
 			<plugin>
 				<groupId>org.apache.maven.plugins</groupId>