[ci] Parametrize JAVA_HOME setup in ci

Author: orionpapadakis

.github/workflows/build-and-run.yml

@@ -8,7 +8,7 @@ on:
     types: [opened, synchronize, reopened]
 
 env:
-  JAVA_HOME: /opt/jenkins/jdks/graal-23.1.0/jdk-21.0.3
+  JAVA_VERSION: 21.0.2-open
   TORNADO_ROOT: ${{ github.workspace }}/GPULlama3.java/external/tornadovm
   LLAMA_ROOT: ${{ github.workspace }}
   GRAAL_JARS: /opt/graalJars
@@ -45,6 +45,17 @@ jobs:
           - name: ptx
 
     steps:
+      - name: Set up Java with SDKMAN
+        shell: bash
+        run: |
+          source "$HOME/.sdkman/bin/sdkman-init.sh"
+          sdk use "$JAVA_VERSION"
+
+          echo "JAVA_HOME=$HOME/.sdkman/candidates/java/current" >> $GITHUB_ENV
+          echo "$HOME/.sdkman/candidates/java/current/bin" >> $GITHUB_PATH
+
+          java -version
+
       - name: Checkout GPULlama3
         uses: actions/checkout@v4