Java Record Constructor Example