103104105106107108109110111112113
extDirNames.add(newPath); executor.execute(new ArchiveDirectoryTask(executor, out, instr, newPath)); } executor.drain(); if (exceptionEncountered != null) throw exceptionEncountered; }