tree daad4803f9026ddc2a2e0ac16cc84efcc5a7bf5e
parent 68e6037a1714169888efd1cb58bf54c96b7a4c54
author Luca Milanesio <luca.milanesio@gmail.com> 1603463323 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1603463379 +0100

Set Java 8 as the default JDK for all builds

Restore the default settings for Java 8, so that all
existing builds are all getting the same basic variables:
- JAVA_HOME pointint to Java 8 JDK
- PATH having Java 8 by default

Bazel, in the absence of JAVA_HOME, tries to automatically
detect where Java is and use it. After the migration to Debian
Buster which includes both Java 11 and Java 8, Bazel was
getting confused and used the wrong default JDK.

Change-Id: Iede708271d8ef6cb40eaf9a59d78ed5d81dcdb37