if (isNullValue == null) throw new NullPointerException(); knownValueMap.put(newValueNumber, isNullValue); knownValueMap.remove(oldValueNumber);
if (isNullValue != null) { knownValueMap.put(newValueNumber, isNullValue); knownValueMap.remove(oldValueNumber); }
	public void useNewValueNumberForLoad(ValueNumber oldValueNumber, ValueNumber newValueNumber) {		if (oldValueNumber == null || newValueNumber == null) throw new NullPointerException();		if (newValueNumber.equals(oldValueNumber) || !trackValueNumbers) return;		IsNullValue isNullValue = knownValueMap.get(oldValueNumber);		if (isNullValue == null) throw new NullPointerException();		knownValueMap.put(newValueNumber, isNullValue);		knownValueMap.remove(oldValueNumber);	}