202402011833
Deserializing Json null value makes TLC (silently) throw NullPointerExceptions, potentially causing massive slow down. Fixes Github issue #868 https://github.com/tlaplus/tlaplus/issues/868 [Bug] Signed-off-by: Markus Alexander Kuppe <[email protected]>