> Isnt the "-allow-phantom" option designed to answer this question? > With -allow-phantom, I would expect Soot to not throw exception at > all, and without that option, Soot should always throw an exception. Right. But right now that's not always what happens :-) Eric