add json4s