Committing updated eclipse prefs