private void switchPlayer() {
    // This ugly construct serves to switch the current player.
    for(Player p : players) {
      if(currentPlayer != p) {
        currentPlayer = p;
        break;
      }
    }
  }