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