//CONF: checkerframework = 4.0 import java.util.List; import lombok.Singular; class CheckerFrameworkSuperBuilder { @lombok.experimental.SuperBuilder public static class Parent { @lombok.Builder.Default int x = 5; int y; int z; @Singular List names; } @lombok.experimental.SuperBuilder public static class ZChild extends Parent { @lombok.Builder.Default int a = 1; int b; } }