}
} catch (NullPointerException e) { /* no summary */
} catch (ClassCastException e) { /* m_game don't summarize */
}
GameResult gr = m_game.done(m_game.getPlayers());
if (gr.done) {
String res = "*** Game is complete. ***\nWinners are: ";
if (gr.winners.length > 0)
res += m_game.getPlayers()[gr.winners[0]].getName();
for (int i = 1; i < gr.winners.length; i++)
res += " & " + m_game.getPlayers()[gr.winners[i]].getName();
res += "\n";
broadcaster.chat(res);
broadcaster.endGame(new GameResult(gr));
break;
}
for (int i = 0; i < 4; i++) {
m_game.getPlayers()[i].clearBid();
}