えと、ランダムに発生させた数を要素に持つ配列をつくりたいんですが。
ふつうに
Random random=new Random();
int[] nums=new int[12];
for(int i=0; i<nums.length; i++){
nums[i]=random.nextInt(31);
while(nums[i]==0){
nums[i]=random.nextInt(31);
}
}

こう書くと、配列の中で数字がだぶるんことがあるんですよぉ。
配列numsの12個の要素がだぶらないようにするには、どうしたらいいんでしょう？