001    package net.minecraft.server.gui;
002    
003    public interface IUpdatePlayerListBox
004    {
005        /**
006         * Updates the JList with a new model.
007         */
008        void update();
009    }