Java Record Extends