tree 3fd2707982375ade2ed99837176a6f509ad30331
parent d439a0a4db113a693ab63f857fbfa5daa2a85f0c
author Luca Milanesio <luca.milanesio@gmail.com> 1779778672 +0200
committer Luca Milanesio <luca.milanesio@gmail.com> 1779778742 +0200

pluginPipeline: DRY out set-java.sh in bash shells

DRY-out existing calls to set-java.sh into a new bashSetJavaCmd
and reuse it throughout the script.

Also add the call to bashSetJavaCmd into GJF calls for preventing
failures of GJF v1.24 with running with a default Java 25.

Change-Id: I477949cf55ff61f082f94d477c85163a3ed8177c