Using json4s.