Enforcing Java Record Invariants With Bean Validation