bugfix in ExplodedControlFlowGraph - add special case for exceptional successors of empty entry blocks
implement hasEdge for ExplodedControlFlowGraph
add possibility to search for TypeReferences without creating them
allow AbstractRootMethod to contain (array) set- and get-field instructions
allow array-load instructions to be unsed in .xml method summary specifications