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