Added detail of error in JVirtualInvokeExpr
cleaned up the code
Merge branch 'develop' of github.com:Sable/soot into develop
Improved trap handling in toDex. Dalvik only allows a single set of handlers per code block. Especially, the intersection between any two sets of trapped statements must be empty. If we now have traps for 1-5 and 3-5, we cannot just keep them as this will fail Bytecode verification. I improved the situation by merging such traps. In the example, both handlers would form a single trap set spanning 1-5.

This is not fully sound. To be fully sound, we would have to generate two sets: 1-2 (handler 1 only) and 3-5 (handler 1 and 2). Efficiently implementing such splitting is left for future work, though the infrastructure for it is there now.
removed some debugging leftovers
Register allocator fix for wide parameters
If we generate a method for an unresolvable method call, we must generate a public method since we cannot know who else will also be calling us later once since we're still in the middle of resolving references.
Merge pull request #107 from malaverdiere/develop

Added detail of error in JVirtualInvokeExpr
added override annotations
Merge branch 'develop' of github.com:Sable/soot into develop
fixed handling of -outjar argument for DEX output
convert to float from int and to double from long
Merge branch 'develop' of ssh://github.com/Sable/soot into develop