I misspoke.

Ignoring the syntax for a moment, I want scoping to behave like this pseudo-code. So that the catch and finally blocks are lexically nested within the parent try block.

  try {

    OutputStream out = ...

    ...

  // Must be at end of try block
  catch ExceptionA, Exception B { ... }

  catch Exception C { ... }

  finally { ... }
    

  } // end of try

Maybe even allow catch and finally to allow single expression in addition to blocks. Just like with if/then/else.