Java Record Constructor