Added Jackson JsonProperty annotations to allow deserialization from a
file using Jackson.