blob: 6e613e8e965f705023629b73d87314fb130de53a [file] [log] [blame]
// "Generalize catch for 'java.io.FileNotFoundException' to 'java.io.IOException'" "true"
import java.io.*;
public class c1 {
void f() {
FileInputStream fis = null;
try {
fis = new FileInputStream("");
DataInputStream dis = new DataInputStream(fis);
<caret>dis.readInt();
} catch (IOException e) {
e.printStackTrace();
}
}
}