Use HashSet<String> for frozenPlayers also
Clean up imports
Fix hash function: typo, bitshift of 56 (not 58)