// ---------------------------------------------------------------
// UpdateErrorObserver
// ---------------------------------------------------------------

public interface UpdateErrorObserver
{
   public void updateErrorOccurred(String s);
}