tree 8867040783b6d21c6096f37ae509f28e09465e25
parent 53254477045796b908d61c883f46ee48a47fb2e6
author David Ostrovsky <david@ostrovsky.org> 1641631146 +0100
committer David Ostrovsky <david@ostrovsky.org> 1641632893 +0100

Bump Java language level to Java 11

Follow up to JGit and Gerrit project, that switched to Java
language level 11.

One side effect of this change is that tools/eclipse/project.sh script
is using bazlets and JavaSE-1.8 is still generated there. In follow up
change Bazlets version will be updated to generate Java 11 compatible
eclipse project.

Change-Id: I488bc6e148e41dfdaef9dcf8b1031df1d22a582d