/** Close archive for further access. It should still be possible to get attributes. */
public void close() {
if (archives != null) {
for (Iterator i = archives.iterator(); i.hasNext(); ) {
((Archive) i.next()).close();
}
archives = null;
}
archive.close();
}
