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