added many generics and made components use the combined DefUse analysis instead of two distinct consecutive analyses
fixed some more issues found by Coverity
Update NullnessAnalysis.java

CaughtExceptionRefs are also always NonNull, right?
removed Java7 syntax
Merge pull request #249 from martinschaef/patch-4

Update NullnessAnalysis.java
Fixed some issues reported by Coverity
Merge branch 'develop' of github.com:Sable/soot into develop
Jimple does not support associating static final fields with constants. If we find a constant value in the constant table of the DEX or CLASS file, we instead associate a tag with the respective field. This however has the drawback of not surviving DEX -> JIMPLE -> DEX as the Jimple text file format has no way of storing tags. As a workaround, we now synthesize static initializers in <clinit> which assign these constants to the fields when reading in files. When reading the Jimple files back in, we synthesize tags from such assignments.
fixing which types are allowed in final code
Fixed a bug in the type assigner that left impossible (i.e. conflicting) typings in the list of possible typings and only added the supertypes instead of replacing the conflicting typings with them. I also improved performance and memory consumption.
code cleanup
cleaned up the code, modernized some iterators, added some generics, fixed a bug that caused an exception when printing an empty method body
added an unsafe method for retrieving methods from classes
only add a new static initializer if we actually have code for it
added a missing "else"
Try to track Primitive to String method calls
Merge remote-tracking branch 'sable/develop' into flow-insensitive