Use the simpler JSON serialization utility