162163164165166167168169170171172
} // now gathers all kept trace sem in the semantics Semantics semantics = new Semantics(); for(FamilySemantics famSem : kept) semantics.addAll(famSem.getSemantics()); entry.setSemantics(semantics); }