96979899100101102103104105106
// close if (archive != null) // CLOSE ARCHIVE { try { archive.closeArchive(); } catch (IOException ex) { ex.printStackTrace(System.err); }