make jakarta.servlet-api as both provided and optional

ceki · ceki · commit a64b8d43b497 · 2022-11-18T20:58:05.000+01:00
Signed-off-by: Ceki Gulcu &lt;ceki@qos.ch&gt;
diff --git a/logback-classic/pom.xml b/logback-classic/pom.xml
@@ -114,6 +114,7 @@
       <groupId>jakarta.servlet</groupId>
       <artifactId>jakarta.servlet-api</artifactId>
       <scope>provided</scope>
+      <optional>true</optional>
     </dependency>
 
     <dependency>
