code: static public Key[] pop() {
      Stack<HashSet<Key>> keys = _scope.get()._keys;
      return keys.size() > 0 ? keys.pop().toArray(new Key[0]) : null;
    }
docs: Pop-scope (same as exit-scope) but return all keys that are tracked (and
  would have been deleted).