private int METHOD_1 ( ) { <BUG> return ( ( int ) ( ( java.lang.Math.random ( ) ) * INT_1 ) ) ;</BUG> }
private int METHOD_1 ( ) { return ( ( int ) ( ( java.lang.Math.random ( ) ) * INT_1 ) ) + 1 ; } 
