225226227228229230231
return done; } public void setDone(boolean done) { this.done = done; game.processGameEvent(new GamePlayerChangeEvent(this, this)); }
437438439440441442443
playerIds.put(new Integer(id), player); updatePlayer(player); } protected void updatePlayer(Player player) { processGameEvent(new GamePlayerChangeEvent(this, player)); }
444445446447448449450
public void removePlayer(int id) { Player playerToRemove = getPlayer(id); players.removeElement(playerToRemove); playerIds.remove(new Integer(id)); processGameEvent(new GamePlayerChangeEvent(this, playerToRemove)); }