Cannot install K on ubuntu-latest GitHub Actions runner

[tothtamas28]

The following job installs K from the Jammy package on an ubuntu-latest GitHub Actions runner: https://github.com/runtimeverification/pyk/actions/runs/8079767562/workflow?pr=929#L124

When kompile --version is run, it fails with an error: https://github.com/runtimeverification/pyk/actions/runs/8079767562/job/22074896470?pr=929

$ java --version
openjdk 17.0.10 2024-01-16
OpenJDK Runtime Environment (build 17.0.10+7-Ubuntu-122.04.1)
OpenJDK 64-Bit Server VM (build 17.0.10+7-Ubuntu-122.04.1, mixed mode, sharing)
$ kompile --version
Error: K requires Java 17 to run but the detected version is 11.
Please either add Java 17 bin directory to the PATH or set the JAVA_HOME
environment variable accordingly.

Analysis

The issue is potentially with how checkJava processes the version string.

First, it tries to look up the version by running org.kframework.main.JavaVersion:

k/k-distribution/src/main/scripts/lib/checkJava

Line 29 in 0179b26

version=$($KSERVER_INSTANCE org.kframework.main.JavaVersion 2>&1)

Then, as a fallback, it runs java -version:

k/k-distribution/src/main/scripts/lib/checkJava

Line 39 in 0179b26

version=$("$_java" -version 2>&1)

But the two strings have a very different format, so probably the following processing steps fail at some point:

k/k-distribution/src/main/scripts/lib/checkJava

Line 51 in 0179b26

version=$(echo $version | awk -F '"' '/version/ {print $2}')