code: boolean hasFinally(JCTree target, Env<GenContext> env) {
          while (env.tree != target) {
              if (env.tree.hasTag(TRY) && env.info.finalize.hasFinalizer())
                  return true;
              env = env.next;
          }
          return false;
      }
docs: Do any of the structures aborted by a non-local exit have
  finalizers that require an empty stack?
  @param target      The tree representing the structure that's aborted
  @param env         The environment current at the non-local exit.