public String toString() {return String.format("Match %s; found %d labels",succeeded() ? "succeeded" : "failed",getLabels().size());}
public override string ToString(){return string.Format("Match {0}; found {1} labels", Succeeded ? "succeeded" : "failed", Labels.Count);}