java 14 added records, which are a new type of class.  i'm hoping that
supporting them in global is as simple as the attached patch.

Attachment: java_record.patch
Description: Binary data



Reply via email to