Update eclipse_preferences.epf