Bug 310789: Optimize the update of projects JRE container when the VM has changed
https://bugs.eclipse.org/bugs/show_bug.cgi?id=310789
2 files changed