package net.minecraft.server.gui; import java.util.Vector; import javax.swing.JList; import net.minecraft.server.MinecraftServer; import net.minecraft.server.level.ServerPlayer; public class PlayerListComponent extends JList { private final MinecraftServer server; private int tickCount; public PlayerListComponent(final MinecraftServer server) { this.server = server; server.addTickable(this::tick); } public void tick() { if (this.tickCount++ % 20 == 0) { Vector players = new Vector(); for (int i = 0; i < this.server.getPlayerList().getPlayers().size(); i++) { players.add(((ServerPlayer)this.server.getPlayerList().getPlayers().get(i)).getGameProfile().name()); } this.setListData(players); } } }