definitelyNullSet.clear(); definitelyNullSet.set(numValueNumbers + 1);
contents.clear(); contents.set(lastUsedBit() + 1);
	public void setBottom() {		definitelyNullSet.clear();		definitelyNullSet.set(numValueNumbers + 1);	}