Merge pull request #104 from icemelon9/develop

fix a bug in interpreting the instruction RSUB_INT/RSUB_INT_LIT wrongly
more information for exception messages
Improved error reporting of Jimple parser
Tweaks to FastHierarchy

 * Added generics as much as possible
 * Deleted some dead code
 * Added a bit of javadoc
Merge pull request #105 from malaverdiere/develop

Minor improvements
Explanation for exception
Bugfix: Do not add clinit edges pointing into phantom classes
conservative uses validation for traps
More verbose exception messages
Jasmin's .source name cannot start with a digit
Fixed type of Scene.pkgList to List interface
Pulled up setPhantom to ClassMember
Experimental constraint solver for Dexpler. Disabled by default.
Merge pull request #106 from malaverdiere/develop

Minor refactoring and cleanup
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