commit | 4b09cf03605c9059e22fccb3f8205eb20c910694 | [log] [tgz] |
---|---|---|
author | Ed Merks <ed.merks@gmail.com> | Thu May 07 05:43:41 2020 +0200 |
committer | Ed Merks <ed.merks@gmail.com> | Thu May 07 05:43:41 2020 +0200 |
tree | 9580d8ccf6cac96df8451246aeb2d67b2dfe9725 | |
parent | 001feebc93194648ab47a3cb1d2c5b2155dec6c9 [diff] |
[562909] The field editor for JREs loses choices and then defaults to Java 9 https://bugs.eclipse.org/bugs/show_bug.cgi?id=562909