[Soot-list] Correct type of locals, and correct line numbers

[Eric Bodden]

> it would be a long and possibly boring story to explain why I prefer the
> byte-code-like representation (my analysis computes def-use paths for a
> special purpose and the extra assignments are annoying) but if you are
> really interested I'll explain it in another mail.
> Thanks for the hints.

No it's ok. But often when analyses are sensitive to such issues it's
a sign that the analyses are ill-designed. Just talking from
experience here :-)

Eric