@@ -145,10 +145,11 @@ scan(tree.lock); scan(tree.body); } public void visitTry(JCTry tree) { + scan(tree.resources); scan(tree.body); scan(tree.catchers); scan(tree.finalizer); }