Records and Sealed Types for Java (JEP Draft)

For Records, can the public read accessor method be overridden? I'm assuming so, otherwise should just make the instance variable public final.

ADTs in Java, that's pretty cool. The nice thing it's not really adding anything new in the language, only restricted forms of classes.