synchronized (mutex) {
Set resultSet = new HashSet();
if (_specifications.containsKey(specID) || _unloadedSpecifications.containsKey(specID)) {
Set caseIDs = _runningCaseIDToSpecIDMap.keySet();
for (Iterator iterator = caseIDs.iterator(); iterator.hasNext();) {
YIdentifier caseID = (YIdentifier) iterator.next();
String specIDForCaseID = (String) _runningCaseIDToSpecIDMap.get(caseID);
if (specIDForCaseID.equals(specID)) {
resultSet.add(caseID);
}
}