Map<String, String> toJson() { return { 'PRODID': prodId, 'VERSION': version, 'CALSCALE': calScale, }; }