Since the exception is handled in the same way, why have two distinct catch branches?