Explicit default values for getters in json