public static void main ( java.lang.String [ ] args ) throws TYPE_1 , java.io.IOException , TYPE_2 { <BUG> TYPE_3 . METHOD_1 ( ) ;</BUG> TYPE_3 . METHOD_2 ( ) ; }
public static void main ( java.lang.String [ ] args ) throws TYPE_1 , java.io.IOException , TYPE_2 { TYPE_3 . METHOD_2 ( ) ; } 
