Is this no-arg constructor (and non-final fields) because this gets json serialized?