for (int j = 0; j < 65536; j++) { if (derefLocationSet.get(j)) { if (firstLoc) { firstLoc = false; } else { buf.append(','); } buf.append(j);
for (Iterator<Location> j = derefLocationSet.iterator(); j.hasNext(); ) { Location location = j.next(); if (firstLoc) { firstLoc = false; } else { buf.append(',');
	public String toString() {		StringBuffer buf = new StringBuffer();		buf.append('[');		boolean firstVN = true;		for (int i = 0; i < numValueNumbersInMethod; i++)  {			if (!valueNumberSet.get(i)) {				continue;			}			if (firstVN) {				firstVN = false;			} else {				buf.append(',');			}			buf.append('{');			buf.append(i);			buf.append(':');			BitSet derefLocationSet = getDerefLocationSet(i);			boolean firstLoc = true;			for (int j = 0; j < 65536; j++) {				if (derefLocationSet.get(j)) {					if (firstLoc) {						firstLoc = false;					} else {						buf.append(',');					}					buf.append(j);				}			}			buf.append('}');		}		buf.append(']');		return buf.toString();	}