org.eclipse.jdt.core.tests.model/workspace/CreateMembers/src/testBug565015/PkgRecord.java

package testBug565015;

public record PkgRecord() {
}