* Chiede i nomi dei giocatori all'utente
*/
public abstract void chiediNomiGiocatori();
protected final synchronized void fireNomiSceltiEvent(String[] nomi) {
NomiSceltiEvent evento = new NomiSceltiEvent(this, nomi);
for (int i = 0; i < listeners.size(); i++)
if (listeners.get(i) instanceof NomiSceltiListener)
((NomiSceltiListener) listeners.get(i)).notificaNomiScelti(evento);
}