Json deserialization

This can go to the next major version.