openJJTreeComment(io, null);
io.println();
Hashtable thrown_set = new Hashtable();
findThrown(ns, thrown_set, expansion_unit);
Enumeration thrown_names = thrown_set.elements();
insertCatchBlocks(ns, io, thrown_names, indent);
io.println(indent + "} finally {");
if (ns.usesCloseNodeVar()) {
io.println(indent + " if (" + ns.closedVar + ") {");