JavaCompilerCore/resources/bytecode/javFiles/RecordTestInstanceVariables.jav

import java.lang.Integer;

public record RecordTestInstanceVariables(Integer a, Integer b) {
    public Integer getA() { return a; }
    public Integer getB() { return b; }
}