Prevent the compiler from renaming the toJSON method on data structures and thus allow correct serialization as JSON