void () { doTest("class X {" + " @org.junit.Test(expected=java.io.EOFException.class)" + " public void test() throws Exception {" + " foo();" + " }" + " void foo() throws java.io.IOException {}" + "}"); }