このコードは、符号付き整数の乱数を生成して絶対値を計算しています。 乱数ジェネレータで返される数が Integer.MIN_VALUE なら結果は同様に負です (Math.abs(Integer.MIN_VALUE) == Integer.MIN_VALUE なので)。 (同じ問題は long 値でも同様に起きます)。
Integer.MIN_VALUE
Math.abs(Integer.MIN_VALUE) == Integer.MIN_VALUE