Json4s: split