/** Sets the current turn index */
public void setTurnIndex(int turnIndex) {
//FIXME: occasionally getTurn() returns null. Handle that case intelligently.
this.turnIndex = turnIndex;
processGameEvent(new GameTurnChangeEvent(this, getPlayer(getTurn()
.getPlayerNum())));
}