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