progress towards migrating to json4s