JSON serialization and deserialization classes, using Google Gson.