@@ -148,10 +148,11 @@ public void visitTry(JCTry tree) { scan(tree.body); scan(tree.catchers); scan(tree.finalizer); + scan(tree.resources); } public void visitCatch(JCCatch tree) { scan(tree.param); scan(tree.body);