removed some code than can break the semantics of Soot class loading
added more type information