public void remove_final_bonus(Final_Bonus bonus) { if (final_bonuses.Contains(bonus)) { final_bonuses.Remove(bonus); } }
public void add_final_bonus(Final_Bonus bonus) { final_bonuses.Add(bonus); }