Java Try Catch Finally blocks without Catch

The Java Language Specification⁽¹⁾ describes how try-catch-finally is executed. Having no catch is equivalent to not having a catch able to catch the given Throwable.

• If execution of the try block completes abruptly because of a throw of a value V, then there is a choice:
  • If the run-time type of V is assignable to the parameter of any catch clause of the try statement, then …
    …
  • If the run-time type of V is not assignable to the parameter of any catch clause of the try statement, then the finally block is executed. Then there is a choice:
    • If the finally block completes normally, then the try statement completes abruptly because of a throw of the value V.
    • If the finally block completes abruptly for reason S, then the try statement completes abruptly for reason S (and the throw of value V is discarded and forgotten).

(1) Execution of try-catch-finally