url = url + "?username=" + username;
}
String filename = extensionSwapPackage.getId() + ".jar";
DownloadFilesActionListener actionListener = new DownloadFilesActionListener(new String[] { url },
new String[] { filename }, listener, _windowContext);
actionListener.actionPerformed(null);
}
public boolean isInstalled(ExtensionSwapPackage extensionSwapPackage) {
List<ExtensionPackage> extensionPackages = _userPreferences.getExtensionPackages();
for (ExtensionPackage extensionPackage : extensionPackages) {