commit 608fc3c457cf239bfad615efaeb014b504ca6c04
author David Ostrovsky <david@ostrovsky.org> Sat Jan 08 09:30:47 2022 +0100
committer David Ostrovsky <david@ostrovsky.org> Sat Jan 08 09:30:47 2022 +0100
tree 154a7ca66467f753b4279e64ea554120cda4785c
parent 6ebb3cfa1332a0dc0d2b7ea904a4703656f2ba54

Bump java verson to 11 in eclipse project generation

Gerrit Java source compatibility version was updated to Java 11. This
is follow-up change to update JavaSE version generated in eclipse
project. This toolchain is used in gitiles and some gerrit plugins.

Change-Id: I11e5dbba7332de83fbd32ae98cd2b6a37c189a81

tools/eclipse/project.py

diff --git a/tools/eclipse/project.py b/tools/eclipse/project.py
index 154ae53..236fb75 100755
--- a/tools/eclipse/project.py
+++ b/tools/eclipse/project.py
@@ -25,7 +25,7 @@
 JRE = '/'.join([
   'org.eclipse.jdt.launching.JRE_CONTAINER',
   'org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType',
-  'JavaSE-1.8',
+  'JavaSE-11',
 ])
 
 opts = argparse.ArgumentParser("Create Eclipse Project")