public void foundGuaranteedNullDeref( Location assignedNullLocation, BitSet derefLocationSet, IsNullValue refValue) {
public void foundGuaranteedNullDeref(Set<Location> assignedNullLocationSet, Set<Location> derefLocationSet, ValueNumber refValue) {  if (DEBUG) { System.out.println("Found guaranteed null deref in " + method.getName()); }
	public void foundGuaranteedNullDeref(			Location assignedNullLocation, BitSet derefLocationSet, IsNullValue refValue) {	}