> But I wonder if Soot shouldn't fail more gracefully than that! Is it > worthwhile to create a patch? That's up to you. I am happy to accept a pull request. Eric