/** An interface for objects that wish to be notified each time
 * the user moves. */
public interface UserListener {
	public void userMoved(UserEvent e);
}