From 68c78c4f92be4f9987876a9ff68dfb86d6bd6094 Mon Sep 17 00:00:00 2001
From: Tim Neumann <neumantm@fius.informatik.uni-stuttgart.de>
Date: Sat, 17 Oct 2020 17:58:29 +0200
Subject: [PATCH] Try to get javadoc generation including dependencies working

---
 project/pom.xml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/project/pom.xml b/project/pom.xml
index fc1e09d5..6ef5b448 100644
--- a/project/pom.xml
+++ b/project/pom.xml
@@ -7,7 +7,7 @@
 	<name>JVK 2020 Project</name>
 	<properties>
 		<java.version>11</java.version>
-		<icge.version>2.3.4</icge.version>
+		<icge.version>2.3.5-Snapshot</icge.version>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
 	</properties>
 	<repositories>
@@ -73,10 +73,11 @@
 			<plugin>
 				<groupId>org.apache.maven.plugins</groupId>
 				<artifactId>maven-javadoc-plugin</artifactId>
-				<version>3.1.1</version>
+				<version>3.2.0</version>
 				<configuration>
 					<additionalOptions>--show-packages=all</additionalOptions>
 					<excludePackageNames>de.unistuttgart.informatik.fius.jvk.tasks:de.unistuttgart.informatik.fius.jvk.verifier</excludePackageNames>
+					<includeDependencySources>true</includeDependencySources>
 				</configuration>
 			</plugin>
 			<plugin>