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