| Implementation of the workbench plugin's preferences extension's
customization element. This is needed in order to force the workbench
plugin's preferences to be initialized properly when running without
org.eclipse.core.runtime.compatibility. For more details, see bug 58975 - New
preference mechanism does not properly initialize defaults.
since: 3.0 |