Java Record Private Constructor