IUpdatePlayerListBox.java

package net.minecraft.server.gui;

public interface IUpdatePlayerListBox
{
    /**
     * Updates the JList with a new model.
     */
    void update();
}