code: public void propertyChange(PropertyChangeEvent evt) {
  		if (evt.getPropertyName() == HAS_ERRORS_PROPERTY)
  			updateErrors();
  		else if (evt.getPropertyName() == HAS_WARNINGS_PROPERTY)
  			updateWarnings();
  		else if (evt.getPropertyName() == HAS_INFO_PROPERTY)
  			updateInfo();
  	}
docs: Forwarding of known property events coming from child models. Each event
  triggers a specific evaluation of the parent property, which will trigger
  events as needed.