Zertz: randomPlayer finalizes for AIManager