Estrazione random da una lista

[JavaAddicted]

Salve, vorrei fare un programma che gestisca un mazzo e un giocatore peschi a caso da una collezione di carte.
Classe mazzo:

package gioco2;
import java.util.*;
public class Mazzo {
    HashSet s =new HashSet();
    Set Mazzo(){
    Carta a[]=null;
        for(int i=1;i<11;i++){
            for(int j=1;j<5;j++){
               switch(j){
                   case 1:
                   a[i]= new Carta("Spade",i);
                   
                   break;
                   case 2:
                   a[i]=new Carta("Bastoni",i);
                   break;
                   case 3:
                   a[i]=new Carta("Coppe",i);
                   break;
                   case 4:
                   a[i]=new Carta("Danari",i);
                   break;
               }
             s.add(a[i]);  
            }
        }
    return s;
    }
    
}

Classe giocatore:

package gioco2;

import java.util.Iterator;


public class Giocatore {
      Mazzo s;
      void estraidalmazzo(){
      
    

}

}

Vorrei che la funzione estraidalmazzo, estragga tot carte random dalla lista precedentemente creata.