package sfBugs;

public class Bug3139802 {
    public static void main(String[] args) {
        System.out.println("OK");
    }
}

@@ -12,16 +12,69 @@
 ugs;%0D%0A%0D%0A
+import edu.umd.cs.findbugs.annotations.NoWarning;%0D%0A%0D%0A
 public c
@@ -88,24 +88,46 @@
 g3139802 %7B%0D%0A
+    @NoWarning(%22NP%22)%0D%0A
     public s

add annotation