Serialization through json4s instead of my own doing.

My records come up with two less fields than expected. I'll have to
examine whether or not that's because I have not set those
settings. There may be several cases to consider.