void () { doTest(""" import java.io.*; class X { private static void example(int a) throws IOException { FileInputStream closed = new FileInputStream("file1"); FileInputStream another = new <warning descr="'FileInputStream' used without 'try'-with-resources statement">FileInputStream</warning>("file2"); } }"""); }