Using json4s 3.2.5.