ObligationSet dup = new ObligationSet(countList.length);
ObligationSet dup = new ObligationSet(countList.length, factory);
	public ObligationSet duplicate() {		ObligationSet dup = new ObligationSet(countList.length);		System.arraycopy(this.countList, 0, dup.countList, 0, countList.length);		return dup;	}