dup.length = this.length; dup.cachedHashCode = this.cachedHashCode;
	public Path duplicate() {		Path dup = new Path();		dup.grow(this.length - 1);				dup.length = this.length;		for (int i = 0; i < this.length; ++i) {			dup.blockIdList[i] = this.blockIdList[i];		}				return dup;	}