Fix FP on S2095 when using @lombok.Cleanup

java-symbolic-execution/java-symbolic-execution-plugin/src/main/java/org/sonar/java/se/checks/UnclosedResourcesCheck.java

@@ -474,11 +474,21 @@ private void closeResource(@Nullable final SymbolicValue target) {
     @Override
     public void visitIdentifier(IdentifierTree tree) {
       // close resource as soon as it is encountered in the resource declaration
-      if (isWithinTryHeader(tree)) {
+      // or if it is annotated with @lombok.Cleanup
+      if (isWithinTryHeader(tree) || isAnnotatedLombokCleanup(tree)) {
         Symbol symbol = tree.symbol();
         closeResource(programState.getValue(symbol));
       }
     }
+
+    private static boolean isAnnotatedLombokCleanup(IdentifierTree tree) {
+      return tree
+        .symbol()
+        .metadata()
+        .annotations()
+        .stream()
+        .anyMatch(annotation -> "lombok.Cleanup".equals(annotation.symbol().type().fullyQualifiedName()));
+    }
   }
 
   private class PostStatementVisitor extends CheckerTreeNodeVisitor {

java-symbolic-execution/java-symbolic-execution-plugin/src/test/files/se/UnclosedResourcesLombokCheck.java

@@ -10,9 +10,8 @@ public void wrongHandling() throws IOException {
   }
 
   void withLombokCleanup(String fileName) throws IOException {
-    // FP
     @Cleanup
-    InputStream in = new FileInputStream(fileName); // Noncompliant
+    InputStream in = new FileInputStream(fileName);
     in.read();
   }
 }