// version 14: import lombok.Getter; @Getter public record GetterOnRecord(String a, String b) { }