public class A_test450 { public void foo() { try { /*]*/g();/*[*/ } catch (java.io.IOException e) { } } public void g() throws java.io.IOException { } }