} else {
<BUG>this.extensionHandlerManager.install(localExtension, namespace);
this.observationManager.notify(new ExtensionInstalledEvent(localExtension.getId()), localExtension,</BUG>
previousExtension);
}
<BUG>this.localExtensionRepository.installExtension(localExtension, namespace);</BUG>
return localExtension;
} finally {
notifyPopLevelProgress();
}
}
}

} else {
this.extensionHandlerManager.install(localExtension, namespace);
this.localExtensionRepository.installExtension(localExtension, namespace);
this.observationManager.notify(new ExtensionInstalledEvent(localExtension.getId()), localExtension,
previousExtension);
