System.out.println("%%% HIT for value number " + valueNumber);
System.out.println("%%% HIT for value number " + valueNumber + " @ " + thisLocation);
	private void noteUnconditionallyDereferencedNullValue(Location thisLocation, Map<ValueNumber, SortedSet<Location>> bugLocations, Map<ValueNumber, NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, UnconditionalValueDerefSet derefSet, IsNullValue isNullValue, ValueNumber valueNumber) {		if (DEBUG) {			System.out.println("%%% HIT for value number " + valueNumber);		}				// OK, we have a null value that is unconditionally		// derferenced.  Make a note of the locations where it		// will be dereferenced.		NullValueUnconditionalDeref thisNullValueDeref = nullValueGuaranteedDerefMap.get(valueNumber);		if (thisNullValueDeref == null) {			thisNullValueDeref = new NullValueUnconditionalDeref();			nullValueGuaranteedDerefMap.put(valueNumber, thisNullValueDeref);		}		thisNullValueDeref.add(isNullValue, derefSet.getUnconditionalDerefLocationSet(valueNumber));			if (thisLocation != null) {			SortedSet<Location> locationsForThisBug = bugLocations.get(valueNumber);			if (locationsForThisBug == null) {				locationsForThisBug = new TreeSet<Location>();				bugLocations.put(valueNumber, locationsForThisBug);			}			locationsForThisBug.add(thisLocation);		}	}