}
}
// find all extensions that need to be built with dependencies taken
// into account
ExtensionDependencyManager edm = new ExtensionDependencyManager(
_extensionLookupTable);
extensions = edm.resolveExtensions(extensions);
for (String extensionId : extensions) {
ExtensionInfo info = _extensionLookupTable.get(extensionId);
HashSet<String> javaPaths = info.getRepositoryJavaPaths();
copyExtensionPathsToSourceDir(javaPaths, getExtensionPath(), info.getExtensionFolder());