tree 9f4044ab83c59aab5953f4e47279c6e15746b31c
parent 1e9e23fe203b383cd4dee402e6081ad000a2cd7d
author Marc Kupietz <kupietz@ids-mannheim.de> 1758895787 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1758895787 +0200

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