commit 83d445fd288d539b9dc9f65b0386ae56b51d91bc
author Marc Kupietz <kupietz@ids-mannheim.de> Fri Sep 26 16:09:47 2025 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> Fri Sep 26 16:09:47 2025 +0200
tree 9f4044ab83c59aab5953f4e47279c6e15746b31c
parent 1e9e23fe203b383cd4dee402e6081ad000a2cd7d

Include jakarta.servlet-api in the shaded lite jar

Fixes Kustvakt lite startup

Error: Unable to initialize main class
de.ids_mannheim.korap.server.KustvaktLiteServer
Caused by: java.lang.NoClassDefFoundError: jakarta/servlet/Servlet

Change-Id: Idf31e9f14754a5ec2a36c28e6884685593cd5519

pom.xml

diff --git a/pom.xml b/pom.xml
index cd2b191..caa3c35 100644
--- a/pom.xml
+++ b/pom.xml
@@ -582,7 +582,6 @@
 			<groupId>jakarta.servlet</groupId>
 			<artifactId>jakarta.servlet-api</artifactId>
 			<version>6.1.0</version>
-			<scope>provided</scope>
 		</dependency>
 
 		<!-- Utilities -->