Under the old analysis, the program in Listing 2 is legal because the throw statement at *** is presumed to throw Foo, and so it is conceivable for the nested catch clause to catch a SonOfFoo.