sudo "$JAVA_HOME"/bin/java ?

The preceding commit clearly showed that sudo -E did what it
says on the tin, preserved the environment, JAVA_HOME was
pointing to 9 in the sudo environment, and sudo -E java still
ran 8.

Huh?

Author: jcflack

.github/workflows/ci-runnerpg.yml

@@ -75,11 +75,7 @@ jobs:
           tail -n 1
         )
 
-        env | fgrep JAVA
-        java -version
-        sudo -E env | fgrep JAVA
-        sudo -E java -version
-        sudo -E java -Dpgconfig="$pgConfig" -jar "$packageJar"
+        sudo "$JAVA_HOME"/bin/java -Dpgconfig="$pgConfig" -jar "$packageJar"
 
         jshell \
           -execution local \