Fixed the v() function in DalvikThrowAnalysis.java which originally inherited the implementation of its superclass and returned a UnitThrowAnalysis instead of a DalvikThrowAnalysis
#1: changed the UnreachableCodeEliminator.java to use the same default CFG as the LocalSplitter.java. Otherwise, the UnreachableCodeEliminator might consider a variable still alive, but LocalSplitter might not and thus ignore it during splitting, resulting in inconsistent types later on

#2: cleaned up the code a bit
Merge branch 'develop' of github.com:Sable/soot into develop