結果 : can we extend record class in java