From 54c45296f9782803f261f6c25409a32dad86d75c Mon Sep 17 00:00:00 2001
From: Thomas Lenz <tlenz@iaik.tugraz.at>
Date: Tue, 16 Aug 2016 09:49:28 +0200
Subject: workaround for JavaDoc compilation error with Java 8

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

(limited to 'id/server/idserverlib')

diff --git a/id/server/idserverlib/pom.xml b/id/server/idserverlib/pom.xml
index 20457a0d4..4a2125c85 100644
--- a/id/server/idserverlib/pom.xml
+++ b/id/server/idserverlib/pom.xml
@@ -492,6 +492,9 @@
 						<goals>
 							<goal>jar</goal>
 						</goals>
+						<configuration>
+                <additionalparam>-Xdoclint:none</additionalparam>
+            </configuration>
 					</execution>
 				</executions>
 			</plugin>
-- 
cgit v1.2.3