definitelyNullSet.clear(); definitelyNullSet.set(numValueNumbers);
contents.clear(); contents.set(lastUsedBit());
	public void setTop() {		definitelyNullSet.clear();		definitelyNullSet.set(numValueNumbers);	}