From 1ff8e05ad32bfdb323e3b4969a709144d8344a6a Mon Sep 17 00:00:00 2001
From: Mark Paluch <mpaluch@vmware.com>
Date: Tue, 18 Jul 2023 11:45:24 +0200
Subject: [PATCH] Update CI properties.

See #388
---
 ci/pipeline.properties | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/pipeline.properties b/ci/pipeline.properties
index 7aac84d..78163e0 100644
--- a/ci/pipeline.properties
+++ b/ci/pipeline.properties
@@ -1,5 +1,5 @@
 # Java versions
-java.main.tag=8u362-b09-jdk-focal
+java.main.tag=8u372-b07-jdk-focal
 java.next.tag=20-jdk-jammy
 java.lts.tag=17.0.7_7-jdk-focal