Upgrade json4s