Merge branch 'hotfix/fix-for-method-resolution'
Adding links to the jasmin and heros github projects.
Merge pull request #67 from jbranchaud/master

Adding links to the README for the jasmin and heros repositories.
If a local is used in a return statement, one can know if it is of type float/double or not.
Merge branch 'develop' of ssh://github.com/Sable/soot into develop
Merge branch 'develop' of ssh://github.com/Sable/soot into develop
Merge pull request #133 from malaverdiere/develop

Loosened a type in Scene
Merge branch 'develop' of ssh://github.com/Sable/soot into develop
Tags for final field values are handled in DexField.java
removed unnecessary typecast insertion
Merge branch 'develop' of github.com:Sable/soot into develop
fix for the fix - type constraints for a[b]=c assignments are actually required for the left-hand side when processing Dalvik code. In this case, we need to propagate a' element type to the lhs of the assignment to help the type inference of c.

We however cannot typecast the left-hand side for a=b[c], since a might also be a supertype of b's element type - always forcing it to b's element type is too strong in some cases.
Update README.md
Update README.md
added SLF4j to Soot - requirement introduced via heros
Merge branch 'develop' of github.com:Sable/soot into develop
Merge branch 'master' of https://github.com/Sable/soot
Can now convert Dalvik annotation to Jasmin
Keep annotation compatibility with toDex
Adding more querying support.