checkUniqueIds(); BugInstance result =  uniqueIdToBugInstanceMap.get(uniqueId); if (debug) System.out.println(uniqueId + " = " + result.getMessage());
prepareHashToBugInstanceMap(); BugInstance result =  hashToBugInstanceMap.get(uniqueId);
	public BugInstance lookupFromUniqueId(String uniqueId) {		checkUniqueIds();		BugInstance result =  uniqueIdToBugInstanceMap.get(uniqueId);		if (debug) System.out.println(uniqueId + " = " + result.getMessage());		return result;	}