Community
Participate
Working Groups
This should be done after every Java release. This is required to show up the latest Java version in "Execution Environment" Preference Page.
This should be linked to infrastructure bug for new Java version.
(In reply to Vikas Chandra from comment #1) > This should be linked to infrastructure bug for new Java version. As soon as Java 13 is released and the code merged to master, this can be done, right ?
New Gerrit change created: https://git.eclipse.org/r/151137
Gerrit change https://git.eclipse.org/r/151137 was merged to [master]. Commit: http://git.eclipse.org/c/jdt/eclipse.jdt.debug.git/commit/?id=4cfe2fb2a8aa2d3c5d686c7f252dd796d7b3dd31
Verified using Build id: I20191118-0600