Sync the explicit setting with 'project specific settings' in case
the eclipse plugin is not used.