do { uniqueId = String.valueOf(generatedUniqueIdCount++); } while (uniqueIdToBugInstanceMap.get(uniqueId) != null);
while (true) { uniqueId = String.valueOf(nextUniqueId++); BugInstance bug2 = uniqueIdToBugInstanceMap.get(uniqueId); if (bug2 == null) break; if (debug) System.out.println("found collision for "+uniqueId); };
	private String assignUniqueId(BugInstance bugInstance) {		String uniqueId;		do {			uniqueId = String.valueOf(generatedUniqueIdCount++);		} while (uniqueIdToBugInstanceMap.get(uniqueId) != null);		bugInstance.setUniqueId(uniqueId);		return uniqueId;	}