public java.lang.String METHOD_1 ( TYPE_1 state ) { <BUG> return state . toString ( ) . toLowerCase ( ) ;</BUG> }
public java.lang.String METHOD_1 ( TYPE_1 state ) { return state . name ( ) . toLowerCase ( ) ; } 
