I reviewed a pull request where a colleague had converted several immutable #Java classes to record classes. *Soooo* much terser! It hurt to tell them that for backward compatibility we still need getters with names that start with get. #JavaRecords #Java17