Json4s isn't being used, right?