|
Re: Update JRE preferences issue [message #1760886 is a reply to message #1760722] |
Thu, 04 May 2017 06:41 |
Ed Merks Messages: 33258 Registered: July 2009 |
Senior Member |
|
|
I'm not even sure what preference one edits to change the value of org.eclipse.jdt.launching/PREF_VM_XML. JRE task now has a Name property and the matching existing JRE is found via this name (rather than via the location as previously), so it's easier now to use named JREs and to update the location for that name. Maybe that helps? The formatter and cleanup profiles should work well because they have specialized merged support. But yes, any XML blob will not overwrite an existing value. Perhaps we add something to allow that to be forced (at the risk of always overwriting any user additions).
Ed Merks
Professional Support: https://www.macromodeling.com/
|
|
|
Powered by
FUDForum. Page generated in 0.02789 seconds