あ、Vector継承するのか。それじゃあ
void randomShuffle();
ってメソッドがあればいいんじゃないかな。