//CONF: checkerframework = 4.0 import lombok.AllArgsConstructor; import lombok.Data; import lombok.experimental.Accessors; import lombok.With; @Data @AllArgsConstructor @Accessors(chain = true) class CheckerFrameworkBasic { @With private final int x; private final int y; private int z; }