| commit | 4c1267327fd9c8a7c37a35a7c9cb57961d890ea7 | [log] [tgz] |
|---|---|---|
| author | Ed Merks <ed.merks@gmail.com> | Thu May 07 09:55:10 2020 +0200 |
| committer | Ed Merks <ed.merks@gmail.com> | Thu May 07 09:55:10 2020 +0200 |
| tree | 254a394785f51ff9278e8d78f90d329eebcb506d | |
| parent | 4b09cf03605c9059e22fccb3f8205eb20c910694 [diff] |
[562909] The field editor for JREs loses choices and then defaults to Java 9 Don't do this update for JRE-type fields. https://bugs.eclipse.org/bugs/show_bug.cgi?id=562909