The TLA+ Community Modules [1] have a JSON module [2] with which users can import and export TLA+ values to JSON. The JSON module's implementation [3] is built on Jackson/FasterXML [4]. Jackson XML is rather large in size and has an unclear license. Gson [5], on the other hand, is slimmer and comes with a compatible license. Thus, the Jackson XML dependency of Json.java should be replaced with Gson while maintaining the same functionality.

[1] https://github.com/tlaplus/CommunityModules
[2] https://github.com/tlaplus/CommunityModules/blob/master/modules/Json.tla
[3] https://github.com/tlaplus/CommunityModules/blob/master/modules/tlc2/overrides/Json.java
[4] https://github.com/FasterXML/
[5] https://github.com/google/gson