firePropertyChange(STRING_CHANGED_PROPERTY, oldString, progressString);
firePropertyChange("string", oldString, progressString);
  public void setString(String string)  {    if (((string == null || progressString == null) &&        string != progressString) || (string != null &&	! string.equals(progressString)))      {	String oldString = progressString;	progressString = string;	firePropertyChange(STRING_CHANGED_PROPERTY, oldString, progressString);      }  }