Why this double declaration of JsonIgnoreProperties?