An Empirical Study of the Effectiveness of "Forcing" Diversity Based on a Large Population of Diverse Programs.