public void setString(String string) {  }
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); } }
	public void setString(String string) {		// TODO	} // setString()