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.
Added option -plugin to soot_options.xml. Added an empty
loadPluginConfiguration method to OptionsBase which is called by the
commandline parser (Options) for each specified plugin. Therefore, it
was necessary to modify make-soot-options.xsl.
 
#43
Implemented plugin load mechanism for xml files.
#43
Use return value of loadPlugin.
#43
Make use of generics.
Reverted parts of last commit that broke processing of options.
Added options to phase plugins.

#43
Make use of generics to avoid warnings.
Removed more warnings.
Removed more warnings.
Removed even more warnings.
Added detail of error in JVirtualInvokeExpr
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