From 68230f1864af1018c20671336308e656ca33bd6c Mon Sep 17 00:00:00 2001
From: Reiner Jung <reiner.jung@email.uni-kiel.de>
Date: Wed, 8 Feb 2023 11:02:39 +0100
Subject: [PATCH] Still debugging.

---
 frameworks/Kieker-java/benchmark.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/frameworks/Kieker-java/benchmark.sh b/frameworks/Kieker-java/benchmark.sh
index 14eeb24..0ca3c26 100755
--- a/frameworks/Kieker-java/benchmark.sh
+++ b/frameworks/Kieker-java/benchmark.sh
@@ -12,6 +12,7 @@ MAIN_DIR="${BASE_DIR}/../.."
 # Hotfix for ASPECTJ
 # https://stackoverflow.com/questions/70411097/instrument-java-17-with-aspectj
 JAVA_VERSION=$(java -version 2>&1 | grep -o 'version "[0-9]*' | sed 's/.*"\([0-9]*\)/\1/g')
+java -version
 echo $JAVA_VERSION
 if [ "${JAVA_VERSION}" != "8" ] ; then
 	export JAVA_OPTS="--add-opens java.base/java.lang=ALL-UNNAMED"
-- 
GitLab