関連ワード:  java record builder default value    java record lombok builder default value    java record default value    java builder with default values  
結果 : java record builder default value