void setDomParent(final Block block) {
		// If this Block already had a dominator specified, remove
		// it from its dominator's children.
		if (domParent != null) {
			domParent.domChildren.remove(this);
		}

		domParent = block;

		// Add this Block to its new dominator's children.
		if (domParent != null) {
			domParent.domChildren.add(this);
		}
	}