if (newValueNumber.equals(oldValueNumber)) return;
	public void useNewValueNumberForLoad(ValueNumber oldValueNumber, ValueNumber newValueNumber) {		knownValueMap.put(newValueNumber, knownValueMap.get(oldValueNumber));		knownValueMap.remove(oldValueNumber);	}