From cafedeecbbb0d661d18708aba4f7cd27232f01e2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ren=C3=A9=20Pfeuffer?= Date: Mon, 26 Oct 2020 08:22:26 +0100 Subject: [PATCH] Use JRE version instead of android --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index f25d350ab5..7898bc0720 100644 --- a/pom.xml +++ b/pom.xml @@ -937,7 +937,7 @@ 1.10.1-scm2 - 30.0-android + 30.0-jre 12.16.1