fix: removed annotation should not appear in sniper mode

src/main/java/spoon/support/reflect/declaration/CtElementImpl.java

@@ -200,6 +200,7 @@ public int hashCode() {
 	@Override
 	public <E extends CtElement> E setAnnotations(List<CtAnnotation<? extends Annotation>> annotations) {
 		if (annotations == null || annotations.isEmpty()) {
+			getFactory().getEnvironment().getModelChangeListener().onListDeleteAll(this, CtRole.ANNOTATION, this.annotations, new ArrayList<>(this.annotations));
 			this.annotations = emptyList();
 			return (E) this;
 		}

src/test/java/spoon/test/prettyprinter/TestSniperPrinter.java

@@ -28,6 +28,7 @@
 import spoon.reflect.code.CtStatement;
 import spoon.reflect.code.CtThrow;
 import spoon.reflect.cu.SourcePosition;
+import spoon.reflect.declaration.CtAnnotation;
 import spoon.reflect.declaration.CtClass;
 import spoon.reflect.declaration.CtCompilationUnit;
 import spoon.reflect.declaration.CtElement;
@@ -73,6 +74,7 @@
 import static org.hamcrest.CoreMatchers.allOf;
 import static org.hamcrest.CoreMatchers.containsString;
 import static org.hamcrest.CoreMatchers.anyOf;
+import static org.hamcrest.CoreMatchers.not;
 import static org.hamcrest.MatcherAssert.assertThat;
 import static org.junit.jupiter.api.Assertions.assertEquals;
 import static org.junit.jupiter.api.Assertions.assertFalse;
@@ -811,6 +813,19 @@ void testRoundBracketPrintingInComplexArithmeticExpression() {
 		testSniper("ArithmeticExpression", noOpModifyFieldAssignment, assertPrintsRoundBracketsCorrectly);
 	}
 
+	@Test
+	@GitHubIssue(issueNumber = 4218)
+	void testSniperDoesNotPrintTheDeletedAnnotation() {
+		Consumer<CtType<?>> deleteAnnotation = type -> {
+			type.getAnnotations().forEach(CtAnnotation::delete);
+		};
+
+		BiConsumer<CtType<?>, String> assertDoesNotContainAnnotation = (type, result) ->
+				assertThat(result, not(containsString("@abc.def.xyz")));
+
+		testSniper("sniperPrinter.DeleteAnnotation", deleteAnnotation, assertDoesNotContainAnnotation);
+	}
+
 	@Test
 	@GitHubIssue(issueNumber = 4220)
 	void testSniperAddsSpaceAfterFinal() {

src/test/resources/sniperPrinter/DeleteAnnotation.java

@@ -0,0 +1,4 @@
+package sniperPrinter;
+
+@abc.def.xyz
+class DeleteAnnotation { }