code: private void mergeStatus(MultiStatus status, IStatus toMerge) {
  		if (!toMerge.isOK()) {
  			status.merge(toMerge);
  		}
  	}
docs: Adds the given status to the list of problems. Discards OK statuses. If
  the status is a multi-status, only its children are added.