227228229230231232233234235236237
rec.setThrown(e); LOGGER.log(rec); } } } for (int c : con.listDomains()) { IDomain domain = null; try { domain = con.domainLookupByID(c); domains.put(domain.getName(), domain); } catch (Exception e) {