From 5d424f725d4690d97dfba4112399905e692dc964 Mon Sep 17 00:00:00 2001 From: Bertil Chapuis Date: Tue, 24 Oct 2023 10:24:47 +0200 Subject: [PATCH] Remove servlet api --- baremaps-benchmark/pom.xml | 5 ----- pom.xml | 6 ------ 2 files changed, 11 deletions(-) diff --git a/baremaps-benchmark/pom.xml b/baremaps-benchmark/pom.xml index 31c4b2ea8..150a346db 100644 --- a/baremaps-benchmark/pom.xml +++ b/baremaps-benchmark/pom.xml @@ -34,11 +34,6 @@ limitations under the License. - - javax.annotation - javax.annotation-api - ${version.lib.annotation-api} - org.apache.baremaps baremaps-core diff --git a/pom.xml b/pom.xml index 78c4f9025..a7535c66d 100644 --- a/pom.xml +++ b/pom.xml @@ -107,7 +107,6 @@ limitations under the License. 3.21.6 0.9.38 0.42.28 - 3.1.0 2.0.7 3.39.3.0 1.17.3 @@ -250,11 +249,6 @@ limitations under the License. jakarta.ws.rs-api ${version.lib.jakarta} - - javax.servlet - javax.servlet-api - ${version.lib.servlet} - mil.nga.geopackage geopackage