関連ワード:  java record make default constructor private    java record default value  
結果 : java record make default constructor private