Changes in new versions / Java 16

Compact constructor of a record

This example is in the full version, available in the app stores: