Java Record Multiple Constructors