removed some code than can break the semantics of Soot class loading
added more type information
added a method to get a class that is potentially null instead of failing if the class does not exist. Additionally added some more typing information
omitting InnerClass annotations with empty tags
Merge remote-tracking branch 'origin/develop' into develop-patches