@@ -208,10 +208,11 @@ return r; } public R visitTry(TryTree node, P p) { R r = scan(node.getBlock(), p); + r = scanAndReduce(node.getResources(), p, r); r = scanAndReduce(node.getCatches(), p, r); r = scanAndReduce(node.getFinallyBlock(), p, r); return r; }