" instances="+instances+ " collected="+collected+
" live="+live+ " dead="+dead+
  public String toString() {    return      "(stats"+      " instances="+instances+      " collected="+collected+      ")";  }