Fix Jackson bug with @JsonProperty.