JSON serialization and deserialization.
(Implemented in master, but not ported to stable branch yet).