関連ワード:  java record getter setter    java record class getter setter    java 17 record getter setter  
結果 : java record getter setter