*** 148,157 **** --- 148,158 ---- 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);