spray-json -> json4s done