https://github.com/jgrapht/jgrapht/issues/1112

[IDE]

Author: lemmy

.devcontainer/install.sh

@@ -29,4 +29,4 @@ tools/apalache/bin/apalache-mc config --enable-stats=true
 sudo apt-get install -y ant
 
 ## Do initial build
-ant -f build.xml
+ant -d -f build.xml

build.xml

@@ -54,6 +54,8 @@
 		</unzip>
 		<unzip src="lib/jgrapht-core-1.5.1.jar" dest="${build}/deps">
 			<patternset>
+				<!-- https://github.com/jgrapht/jgrapht/issues/1112 -->
+		        <exclude name="**/*rensenIndexLinkPrediction.class"/>
 		        <include name="**/*.class"/>
 			</patternset>
 		</unzip>