use json4s(lift-json)