@@ -0,0 +1,514 @@
+package sfBugs;%0A%0Aimport javax.annotation.CheckForNull;%0Aimport javax.annotation.Nonnull;%0A%0Aimport edu.umd.cs.findbugs.annotations.ExpectWarning;%0A%0Apublic class Bug3431688 %7B%0A%0A    public interface MyInterface %7B%0A        @Nonnull%0A        Object foo(@CheckForNull Object o);%0A    %7D%0A%0A    public static class MyImplementation implements MyInterface %7B%0A        @Override%0A        @ExpectWarning(%22NP_PARAMETER_MUST_BE_NONNULL_BUT_MARKED_AS_NULLABLE%22)%0A        public Object foo(Object o) %7B%0A            return o;%0A        %7D%0A    %7D%0A%7D%0A

add test case for FindBugs issue