| commit | 26a8c90aeb00ddfa2e1845666429fd403238a8c3 | [log] [tgz] |
|---|---|---|
| author | Ed Merks <ed.merks@gmail.com> | Fri May 08 07:36:25 2020 +0200 |
| committer | Ed Merks <ed.merks@gmail.com> | Fri May 08 07:36:25 2020 +0200 |
| tree | d2258c50c893c413adc58ea1217f99d33ba3f855 | |
| parent | af55062aaa3d48b9cb65e393c0caf50deb986085 [diff] |
[562909] The field editor for JREs loses choices and then defaults to Java 9 Try again. Do this for JRE fields but don't replace the value with the choice because these are generally choice variables the are interpreted in a special way by the JRE property. https://bugs.eclipse.org/bugs/show_bug.cgi?id=562909