fixes #167. We now treat phantom classes PE used as exception objects as direct children of java.lang.Throwable. We assume that PE does not have any derived classes on its own, so catch handlers for PE will only catch PE and nothing else. A handler for java.lang.Throwable will also catch PE, but no other exception type will.
Merge branch 'develop' of github.com:Sable/soot into develop