Java Record support

[Verdent]

This is still WIP.

[njr-11]

Excellent start on the record support! I added a question about whether to allow compact constructor and suggested a few minor grammar corrections.

[njr-11]

This seems to rule out having a compact constructor to override the default constructor that is generated for a record. Was that the intent? I can see where you might want to avoid the possibility that the compact constructor reassigns a record component. But I think it's more likely users would include the compact constructor for purposes like validating the supplied values.

Here is one idea if we want to conditionally allow the compact constructor for record:

Suggested change

	By default, public default no-arguments constructor is required for deserialization of the classes.
	In the case of records, it is required to have only default constructor, which was generated for the record.
	By default, a public default no-arguments constructor is required for deserialization of the class.
	In the case of records, the record's default constructor is required for deserialization of the record. The record can include a compact constructor if the compact constructor does not reassign any of the record components.

[njr-11]

To allow compact constructor (see prior comment),

Suggested change

Any record instance passed to a deserialization operation must have only default generated constructor. Implementations SHOULD throw an error if this condition is not met. This limitation does not apply to serialization operations, as well as to records which specify explicit instantiation methods as described in section 4.5.

Any record instance passed to a deserialization operation must have its default generated constructor (and optionally a compact constructor that does not reassign any record component values) as its only constructor. Implementations SHOULD throw an error if this condition is not met. This limitation does not apply to serialization operations, as well as to records which specify explicit instantiation methods as described in section 4.5.

[njr-11]

Minor grammar correction:

Suggested change

	If is class, record or interface, the most specific parameter type MUST be the class, record or interface.
	If it is a class, record or interface, the most specific parameter type MUST be the class, record or interface.

[njr-11]

Minor grammar corrections:

Suggested change

	** Exception is thrown if when the field, record component or this getter are annotated with other JSON Binding annotations. Exception is not thrown if JSON Binding annotations are presented on the setter.
	** An exception is thrown if the field, record component or this getter are annotated with other JSON Binding annotations. An exception is not thrown if JSON Binding annotations are present on the setter.

[mkarg]

With records, this kind of method is not called "getter" but "accessor".