Fix concurrent modification when removing player

Author: PureGero

patches/server/0071-Fix-Concurrent-modification-when-removing-player.patch

@@ -0,0 +1,20 @@
+From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
+From: PureGero <puregero@gmail.com>
+Date: Thu, 20 Nov 2025 15:38:21 +0900
+Subject: [PATCH] Fix: Concurrent modification when removing player
+
+
+diff --git a/src/main/java/net/minecraft/server/players/PlayerList.java b/src/main/java/net/minecraft/server/players/PlayerList.java
+index 973110b208a4026fd296663f58cd60960d9c6a1c..66cb6ad79c1910dd86f61a68adaf1ea00e95ce49 100644
+--- a/src/main/java/net/minecraft/server/players/PlayerList.java
++++ b/src/main/java/net/minecraft/server/players/PlayerList.java
+@@ -702,8 +702,7 @@ public abstract class PlayerList {
+         // CraftBukkit start
+         // this.broadcastAll(new ClientboundPlayerInfoRemovePacket(List.of(entityplayer.getUUID())));
+         ClientboundPlayerInfoRemovePacket packet = new ClientboundPlayerInfoRemovePacket(List.of(entityplayer.getUUID()));
+-        for (int i = 0; i < this.players.size(); i++) {
+-            ServerPlayer entityplayer2 = (ServerPlayer) this.players.get(i);
++        for (ServerPlayer entityplayer2 : this.players) { // ShreddedPaper - Fix concurrent modification
+ 
+             if (entityplayer2.getBukkitEntity().canSee(entityplayer.getBukkitEntity())) {
+                 entityplayer2.connection.send(packet);