definitelyNullSet.clear(); definitelyNullSet.or(other.definitelyNullSet);
contents.clear(); contents.or(other.contents);
	public void makeSameAs(DefinitelyNullSet other) {		definitelyNullSet.clear();		definitelyNullSet.or(other.definitelyNullSet);	}