java record extends interface