} finally {
if (this.progressMonitor != null)
this.progressMonitor.done();
if (this.nameEnvironment != null)
this.nameEnvironment.cleanup();
manager.flushZipFiles(this);
this.bindings = null;
}
}
/**
* Locates the package declarations corresponding to this locator's pattern.