Remove Java 7+ only API call and replace it with Java 6 equivalent.
Add check-init-throw-analysis option to Soot.

This option allows the user to specify a throw analysis to be used
for the checkInit() phase of code validation inside soot.Body.

Using '-check-init-throw-analysis dalvik' is a suitable fix for
this issue: https://github.com/Sable/soot/issues/109

Note that this adds a dependency on soot.dexpler to soot.Body.
Add ThrowAnalysisFactory and use it to get the checkInit() analysis in soot.Body.

This allows us to avoid adding references to dexpler inside
soot.Body.
Various fixes:

* Add -check-init-ta as a shorter alias for -check-init-throw-analysis.
* Add 'auto' option to -check-init-ta, which tries to detect automatically
  whether to use 'dalvik' or 'pedantic' throw-analysis. This is now the
  default value for -check-init-ta.
* Update files generated by 'ant options'
Merge pull request #213 from Stamp4Droid/issue109fix

Issue109fix
added missing library reference in build script
Merge branch 'develop' of github.com:Sable/soot into develop
added more typing information
Merge branch 'develop' into formatOptions

Conflicts:
	src/soot/options/soot_options.xml