Added getPlayers() to retrieve a set of connected players.