JDK proposal takes aim at verbose Java syntax

Records and sealed types would provide more compact syntax for declaring classes and a way to restrict subclasses, respectively