diff --git a/laws-modules/lib/spirej.doc.cracked-11.4.2.jar b/laws-modules/lib/spirej.doc.cracked-11.4.2.jar
new file mode 100644
index 00000000..5db61374
Binary files /dev/null and b/laws-modules/lib/spirej.doc.cracked-11.4.2.jar differ
diff --git a/laws-modules/pom.xml b/laws-modules/pom.xml
index 95abc783..884aebef 100644
--- a/laws-modules/pom.xml
+++ b/laws-modules/pom.xml
@@ -165,6 +165,14 @@
jeuclid-core
3.1.9
+
+ com.spirej
+ spirej.doc.cracked
+ 11.4.2
+ system
+ jdk17
+ ${project.basedir}/lib/spirej.doc.cracked-11.4.2.jar
+