[With] renaming lombok.experimental.Wither to lombok.experimental.With

test/transform/resource/before/CheckerFrameworkBasic.java

@@ -1,11 +1,11 @@
 //CONF: checkerframework = 3.0
 import lombok.Data;
 import lombok.experimental.Accessors;
-import lombok.experimental.Wither;
+import lombok.With;
 
 @Data @Accessors(chain = true)
 class CheckerFrameworkBasic {
-	@Wither private final int x;
+	@With private final int x;
 	private final int y;
 	private int z;
 }