tools/eclipse/project.py: Restore Java 8 compatibility

In Ie341cd4dfe Eclipse JRE value "JavaSE-1.8" was inadvertently replaced
with "JavaSE-9". Restore JRE to the previous value.

Change-Id: I7e4860d8c611452399beaf972b6810f5b7ba755e
This commit is contained in:
David Ostrovsky 2018-08-31 21:36:42 +02:00
parent 1e7398ce63
commit 7c434f9a8a

View File

@ -32,7 +32,7 @@ AUTO = '//lib/auto:auto-value'
JRE = '/'.join([
'org.eclipse.jdt.launching.JRE_CONTAINER',
'org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType',
'JavaSE-9',
'JavaSE-1.8',
])
# Map of targets to corresponding classpath collector rules
cp_targets = {