updated json4s version