Changeset: bbac0642e72d Author: jjg Date: 2015-12-15 15:30 -0800 URL: http://hg.openjdk.java.net/jdk9/dev/langtools/rev/bbac0642e72d 8144888: ToolBox should close any file manager it opens Reviewed-by: vromero ! test/tools/lib/ToolBox.java