@@ -0,0 +1,682 @@
+package bugIdeas;%0A%0Aimport java.math.BigDecimal;%0Aimport java.math.BigInteger;%0A%0Aimport edu.umd.cs.findbugs.annotations.ExpectWarning;%0Aimport edu.umd.cs.findbugs.annotations.NoWarning;%0A%0Apublic class Ideas_2013_11_15 %7B%0A    @ExpectWarning(%22VA_FORMAT_STRING_BAD_CONVERSION_FROM_ARRAY%22)%0A    public void passingAnArray() %7B%0A        System.out.println(System.out.printf(%22%25s%22, new int%5B%5D %7B 42, 17 %7D));%0A    %7D%0A    %0A    @NoWarning(%22FS%22)%0A    public void valuesOtherThanInt() %7B%0A        System.out.println(String.format(%22%25d%25n%25d%22, 42, (short) 42));%0A        System.out.println(String.format(%22%25d%25n%22, new BigInteger(%2242%22)));%0A        System.out.println(String.format(%22%25f%25n%22, new BigDecimal(42)));%0A    %7D%0A%7D%0A

Verify some format string issues relating to changings in jFormatString