9cc6f03a53
Making a no-op change to the settings and then saving causes the preferences file to be updated with defaults from the newer version. Change-Id: I5c321ce1196af9a328d6f97c69c23686e57cd464 |
||
---|---|---|
.. | ||
edu.umd.cs.findbugs.core.prefs | ||
org.eclipse.core.resources.prefs | ||
org.eclipse.core.runtime.prefs | ||
org.eclipse.jdt.core.prefs | ||
org.eclipse.jdt.ui.prefs |