For deserializing with FlexJSON