hash = (53 * hash) + getCounters().hashCode();
hash = (53 * hash) + getCounters().hashCode();
hash = (53 * hash) + getCounters().hashCode();
result = result && getCounters() .equals(other.getCounters());
result = result && getCounters() .equals(other.getCounters());
result = result && getCounters() .equals(other.getCounters());
result = result && getCounters() .equals(other.getCounters());
hash = (53 * hash) + getCounters().hashCode();
mergeCounters(other.getCounters());
mergeCounters(other.getCounters());
mergeCounters(other.getCounters());
mergeCounters(other.getCounters());