Downgrade Json4s