adding json4s