Commiting updated eclipse.core.prefs