java record extends abstract class