making sure the json serialization respects the EmitDefaultValue attribute when serializing into json