update discarding thresholds only if new int[] really differs from existing thresholds;

this is to avoid unnecessary creation of ResultDiscardingThresholdImpl objects when
name changes are probably the most frequent leaderboard changes

java/com.sap.sailing.domain/src/com/sap/sailing/domain/leaderboard/impl/LeaderboardImpl.java

@@ -379,8 +379,7 @@ public class LeaderboardImpl implements Named, Leaderboard {
 	}
 
 	@Override
-	public void setResultDiscardingRule(ThresholdBasedResultDiscardingRule discardingRule)
-	{
+	public void setResultDiscardingRule(ThresholdBasedResultDiscardingRule discardingRule) {
 	    this.resultDiscardingRule = discardingRule; 
 	}
 }