blob: e5da9d7343bbd8fe0bf6ae5176a23e9ff0cb0e1e [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 (FileNotFoundException e) {
e.printStackTrace();
}
}
}