From e4ecb5e5708662b9bccbdaee9b377cda5ced4b86 Mon Sep 17 00:00:00 2001
From: Thomas Lenz <tlenz@iaik.tugraz.at>
Date: Thu, 3 Nov 2016 16:15:11 +0100
Subject: fix maven build problem

---
 id/server/idserverlib/pom.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/id/server/idserverlib/pom.xml b/id/server/idserverlib/pom.xml
index fb6ba1bc6..3e982d94a 100644
--- a/id/server/idserverlib/pom.xml
+++ b/id/server/idserverlib/pom.xml
@@ -457,6 +457,9 @@
 						<goals>
 							<goal>jar</goal>
 						</goals>
+						<configuration>
+                <additionalparam>-Xdoclint:none</additionalparam>
+            </configuration>
 					</execution>
 				</executions>
 			</plugin>
-- 
cgit v1.2.3