関連ワード:  java record type constructor    java record class constructor    java record class private constructor    java record class default constructor    java record class custom constructor    java record class empty constructor    java record type example    java record class example