関連ワード:  java record class constructor    java record type constructor    java record class private constructor    java record class default constructor    java record class multiple constructors    java record class custom constructor    java record class empty constructor    java record class no arg constructor    java record class example    java record classes