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