public static void main ( java.lang.String [ ] args ) { <BUG> new java.lang.Thread ( TYPE_1 : : new ) . start ( ) ;</BUG> }
public static void main ( java.lang.String [ ] args ) { new java.lang.Thread ( new TYPE_1 ( ) ) . start ( ) ; } 
