That's true, but when you realize that most abstract classes extend Object -- which is a concrete class -- that observation suddenly becomes less interesting.
That is because... According to the compiler, it is reachable. Keep in mind that the Exception class is a super class of the RuntimeException class, which means that it is possible to catch unchecked exceptions. And since there is no way to check whether an unchecked exception is thrown, the compiler has to assume that the catch is reachable, and hence, what is after the try-catch is reachable.