choice of Json vs Kryo serialization