Eclipse Preferences updated.