From 22e2f3f7c73278071bcb239fb708265c1ddfc9a9 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 67b83ecbb..cc56f716c 100644 --- a/pom.xml +++ b/pom.xml @@ -107,7 +107,6 @@ limitations under the License. 3.21.6 1.0.0 0.42.38 - 3.1.0 2.0.9 3.43.2.1 1.19.1 @@ -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