Removing of permanents handling for a player that leaves the game changed to avoid ConcurrentModificationException (fixes #393). Some formatting.