関連ワード:  java 17 record class    java 17 record class example    java 17 record type    java 17 record type example    java 17 record vs class    java record class example    java record classes