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