public static void shuffleList(List cards) {
    { int num = cards.length();
      double stop = num / 2.0;
      Stella_Object temp = null;
      int i = 0;
      int one = 0;
      int two = 0;

      while (i < stop) {
        i = i + 1;
        one = Stella.random(num);
        two = Stella.random(num);
        temp = cards.nth(one);
        cards.nthSetter(cards.nth(two), one);
        cards.nthSetter(temp, two);
      }
    }
  }