add test for GetMethod context, interpreter and selector
use a more precise (covariant) return type for BitVectorIntSet.intersection
Update SSAConditionalBranchInstruction.java

Changing SSAConditionalInstruction.isObjectComparison(): previous definition returns true for comparisons of Primordial scope objects, but false for Application scope objects. The update version returns true in both cases
more detail in assertion
more detail in assertion
1) compress dumped call graph edges
2) make instrumentor preserve the names of jar entries and classes as
they are input, rather than recomputing class names when writing the
output jar.  This usually makes no difference, but can preserve broken
structures when the input jar file has mismatches between class names
and its entry names.
fix missing parentheses in test to fix null pointer crash
1) use less verbose instrumentation to reduce problems with methods
getting too big
2) handle issues with exceptional control flow not being followed
properly sometimes
threading support
test new mechanisms
a couple of wrappers
allow specialization of source name map generation
propagate source names in prototype lookups
find arguments array vns
trivial final modifier
ignore debugger token
use new timeout mechanism
more tests
new timeout mechanism
new timeout mechanism