<BUG>import edu.kit.joana.wala.summary.WorkPackage.EntryPoint;import gnu.trove.set.TIntSet;</BUG><CONTEXT>import edu.kit.joana.util.io.IOFactory;import edu.kit.joana.wala.core.NullProgressMonitor;import edu.kit.joana.wala.core.SDGBuilder;import edu.kit.joana.wala.summary.SummaryComputation;import edu.kit.joana.wala.summary.WorkPackage;<extra_id_0>import gnu.trove.set.hash.TIntHashSet;public class SDGProgram {public static class ClassLoader {</CONTEXT>
import edu.kit.joana.wala.util.PrettyWalaNames;import gnu.trove.set.TIntSet;